Oxford, England: Oxford University Press on Demand (1994)

Per Martin Löf presented constructive type theory for the first time in 1970 and it has become intrinsic to the foundations of mathematics and computer science. This is the first book to take an in-depth look at type theory from the point of view of linguistics and the philosophy of language.
Keywords Grammar, Comparative and general   Type theory   Semantics   Logic
Categories (categorize this paper)
Buy this book $66.09 used (27% off)   $72.28 new (20% off)   $90.00 from Amazon    Amazon page
ISBN(s) 019853857X (text)   019853857X   9780198538578
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

View all 61 citations / Add more citations

Similar books and articles

Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 1994 - Dordrecht, Netherland: Springer.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Incorporation: A Theory of Grammatical Function Changing.Mark C. Baker - 1988 - Chicago: University of Chicago Press.
The Grammar of the Nominal Sentence: A Government-Binding Approach.Zvi Penner - 1988 - Universitaet Bern, Institut für Sprachwissenschaft.
A Type Reduction From Proof-Conditional to Dynamic Semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.


Added to PP index

Total views
7 ( #1,072,325 of 2,520,893 )

Recent downloads (6 months)
2 ( #270,438 of 2,520,893 )

How can I increase my downloads?


My notes