<?xml version="1.0" standalone="yes"?>
<Paper uid="P01-1019">
  <Title>An Algebra for Semantic Construction in Constraint-based Grammars</Title>
  <Section position="1" start_page="0" end_page="0" type="abstr">
    <SectionTitle>
Abstract
</SectionTitle>
    <Paragraph position="0"> We develop a framework for formalizing semantic construction within grammars expressed in typed feature structure logics, including HPSG. The approach provides an alternative to the lambda calculus; it maintains much of the desirable flexibility of unification-based approaches to composition, while constraining the allowable operations in order to capture basic generalizations and improve maintainability.</Paragraph>
  </Section>
class="xml-element"></Paper>