ILLC Publications, Instituut voor Taal, Logika en Informatie (ITLI) Series

These reports are also available from the UvA/DARE server: the page corresponding to the listing below can be found here.

ITLI-1987-09:
Herman Hendriks Type Change in Semantics: The Scope of Quantification and Coordination.
1.Full Text.
ITLI-1987-08:
Renate Bartsch The Construction of Properties under Perspectives.
1.Full Text.
ITLI-1987-07:
Johan van Benthem Categorial Grammar and Type Theory.
1.Full Text.
ITLI-1987-06:
Eleonore Oversteegen Temporal Adverbials in the Two Track Theory of Time.
1.Full Text.
ITLI-1987-05:
Víctor Sánchez Valencia Traditional Logicians and de Morgan's Example.
1.Full Text.
ITLI-1987-04:
Johan van Benthem Categorical Grammar and Type Theory.
1.Full Text.
ITLI-1987-03:
Jan Willem Klop, Roel de Vrijer Unique Normal Forms for Lambda Calculus with Surjective Pairing.
1.Full Text.
ITLI-1987-02:
Renate Bartsch Frame Representations and Discourse Representations.
1.Full Text.
ITLI-1987-01:
Jeroen Groenendijk, Martin Stokhof Type shifting Rules and the Semantics of Interrogation.
1.Full Text.
ITLI-1986-06:
Johan van Benthem Logical Syntax.
1.Full Text.
ITLI-1986-05:
Kenneth A. Bowen, Dick de Jongh Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators.
1.Full Text.
ITLI-1986-04:
Reinhard Muskens A Relational Formulation of the Theory of Types.
1.Full Text.
ITLI-1986-03:
Johan van Benthem Categorial Grammar and Lambda Calculus.
ITLI-1986-02:
Peter van Emde Boas A Semantical Model for Integration and Modularization of Rules.
ITLI-1986-01:
n.v.t. The Institute of Language, Logic and Information.
1.Full Text.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X