<?xml version="1.0" standalone="yes"?>
<Paper uid="C00-2091">
  <Title>Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets</Title>
  <Section position="8" start_page="632" end_page="634" type="ackno">
    <SectionTitle>
Acknowledgments
</SectionTitle>
    <Paragraph position="0"> I would like to thank Christian Retord who pointed out to me Girard's algebraic interpretation of the cut elimination, and the anonymous reviewers for their helpful colnments.</Paragraph>
  </Section>
class="xml-element"></Paper>