Oxford, England: Oxford University Press on Demand (1994)
| Abstract |
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 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,489
External links
(no proxy) 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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes.Catarina Dutilh Novaes - 2007 - Dordrecht, Netherland: Springer.
Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
“Inference Versus Consequence” Revisited: Inference, Consequence, Conditional, Implication.Göran Sundholm - 2012 - Synthese 187 (3):943-956.
View all 61 citations / Add more citations
Similar books and articles
Type-Theoretical Interpretation and Generalization of Phrase Structure Grammar.Aarne Ranta - 1995 - Logic Journal of the IGPL 3 (2-3):319-342.
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.
Syntactic Effects of Conjunctivist Semantics: Unifying Movement and Adjunction.Tim Hunter - 2011 - John Benjamins Pub. Company.
Incorporation: A Theory of Grammatical Function Changing.Mark C. Baker - 1988 - Chicago: University of Chicago Press.
Secondary Predication and Adverbial Modification: The Typology of Depictives.Nikolaus Himmelmann & Eva Schultze-Berndt (eds.) - 2005 - Oxford University Press.
The Grammar of Adverbials a Study in the Semantics and Syntax of Adverbial Constructions.Renate Bartsch - 1976 - North-Holland.
The Grammar of the Nominal Sentence: A Government-Binding Approach.Zvi Penner - 1988 - Universitaet Bern, Institut für Sprachwissenschaft.
Nominalization and Montague Grammar: A Semantics Without Types for Natural Languages. [REVIEW]Gennaro Chierchia - 1982 - Linguistics and Philosophy 5 (3):303 - 354.
A Type Reduction From Proof-Conditional to Dynamic Semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.
Analytics
Added to PP index
2015-02-03
Total views
7 ( #1,072,325 of 2,520,893 )
Recent downloads (6 months)
2 ( #270,438 of 2,520,893 )
2015-02-03
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?
Downloads
