<?xml version="1.0" standalone="yes"?>
<Paper uid="A00-2010">
  <Title>Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets</Title>
  <Section position="6" start_page="76" end_page="76" type="ackno">
    <SectionTitle>
Acknowledgments
</SectionTitle>
    <Paragraph position="0"> I would like to thank Christian Retor6 who pointed out to me Girard's algebraic interpretation of the cut elimination. null</Paragraph>
  </Section>
class="xml-element"></Paper>