Index of /Archive/TJiOWFhY

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
 piwek_icos.pdf          16-Jan-2008 07:45  1.1M  Adobe PDF document

Author(s): Piwek, Paul
Title: The ALLIGATOR Theorem Prover for Dependent Type Systems: Description and Proof Sample
Keywords: proof-theoretic semantics, presupposition, anaphora, pure type systems, Martin-Lof Type Theory, Constructive Type Theory 
Date submitted: 2008 01 16