-
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
-
ITLI-1987-08:
-
Renate Bartsch
The Construction of Properties under Perspectives
-
ITLI-1987-08:
-
Renate Bartsch
The Construction of Properties under Perspectives
-
ITLI-1987-07:
-
Johan van Benthem
Categorial Grammar and Type Theory
-
ITLI-1987-07:
-
Johan van Benthem
Categorial Grammar and Type Theory
-
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
-
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
-
ITLI-1987-04:
-
Johan van Benthem
Categorical Grammar and Type Theory
-
ITLI-1987-04:
-
Johan van Benthem
Categorical Grammar and Type Theory
-
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
-
ITLI-1987-02:
-
Renate Bartsch
Frame Representations and Discourse Representations
-
ITLI-1987-02:
-
Renate Bartsch
Frame Representations and Discourse Representations
-
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
-
ITLI-1986-06:
-
Johan van Benthem
Logical Syntax
-
ITLI-1986-06:
-
Johan van Benthem
Logical Syntax
-
ITLI-1986-05:
-
Kenneth A. Bowen, Dick de Jongh
Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators
-
ITLI-1986-05:
-
Kenneth A. Bowen, Dick de Jongh
Some Complete Logics for Branched Time, Part I: Well-founded Time, Forward looking Operators
-
ITLI-1986-04:
-
Reinhard Muskens
A Relational Formulation of the Theory of Types
-
ITLI-1986-04:
-
Reinhard Muskens
A Relational Formulation of the Theory of Types
-
ITLI-1986-03:
-
Johan van Benthem
Categorial Grammar and Lambda Calculus
-
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-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
-
ITLI-1986-01:
-
The Institute of Language, Logic and Information
