View publication by year:
- ITLI-1987-01:
- Jeroen Groenendijk, Martin Stokhof Type shifting Rules and the Semantics of Interrogation
- ITLI-1987-01:
-
Jeroen Groenendijk, Martin Stokhof
Type shifting Rules and the Semantics of Interrogation
1.Full Text.
- ITLI-1987-02:
- Renate Bartsch Frame Representations and Discourse Representations
- ITLI-1987-02:
-
Renate Bartsch
Frame Representations and Discourse Representations
1.Full Text.
- ITLI-1987-03:
- Jan Willem Klop, Roel de Vrijer Unique Normal Forms for Lambda Calculus with Surjective Pairing
- ITLI-1987-03:
-
Jan Willem Klop, Roel de Vrijer
Unique Normal Forms for Lambda Calculus with Surjective Pairing
1.Full Text.
- ITLI-1987-04:
- Johan van Benthem Categorical Grammar and Type Theory
- ITLI-1987-04:
-
Johan van Benthem
Categorical Grammar and Type Theory
1.Full Text.
- ITLI-1987-05:
- Víctor Sánchez Valencia Traditional Logicians and de Morgan's Example
- ITLI-1987-05:
-
Víctor Sánchez Valencia
Traditional Logicians and de Morgan's Example
1.Full Text.
- ITLI-1987-06:
- Eleonore Oversteegen Temporal Adverbials in the Two Track Theory of Time
- ITLI-1987-06:
-
Eleonore Oversteegen
Temporal Adverbials in the Two Track Theory of Time
1.Full Text.
- ITLI-1987-07:
- Johan van Benthem Categorial Grammar and Type Theory
- ITLI-1987-07:
-
Johan van Benthem
Categorial Grammar and Type Theory
1.Full Text.
- ITLI-1987-08:
- Renate Bartsch The Construction of Properties under Perspectives
- ITLI-1987-08:
-
Renate Bartsch
The Construction of Properties under Perspectives
1.Full Text.
- ITLI-1987-09:
- Herman Hendriks Type Change in Semantics: The Scope of Quantification and Coordination
- ITLI-1987-09:
-
Herman Hendriks
Type Change in Semantics: The Scope of Quantification and Coordination
1.Full Text.