Index of /Archive/DMzOTFiN

For exchanging papers of interest to natural language semanticists.

You're looking at the directory listing corresponding to a specific item posted at semanticsarchive.net.

 Name                    Last modified      Size  Description
 barker.gentle.tlg.pdf   17-Oct-2003 08:52  163K  Adobe PDF document

Author(s): Barker, Chris
Title: A gentle introduction to Type Logical Grammar, the Curry-Howard correspondence, and cut elimination
Keywords: type logical grammar , cut elimination, curry-howard
Date submitted: 2003 10 10