A modern perspective on type theory from its origins until today
Journal of Logic, Language and Information 15 (3) (2006)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFairouz Kamareddine & Twan Laan (2001). A Correspondence Between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information 10 (3):375-402.
David Simpson (ed.) (1988). The Origins of Modern Critical Thought: German Aesthetic and Literary Criticism From Lessing to Hegel. Cambridge University Press.
Catherine Labio (2004). Origins and the Enlightenment: Aesthetic Epistemology From Descartes to Kant. Cornell University Press.
Judith Grant (1993). Fundamental Feminism: Contesting the Core Concepts of Feminist Theory. Routledge.
Goran Strkalj (2000). The Conflict of Pre-Paradigm Schools in Modern Human Origins Research. Acta Biotheoretica 48 (1).
Douglas Walton (1999). Historical Origins of Argumentum Ad Consequentiam. Argumentation 13 (3):251-264.
Twan Laan & Rob Nederpelt (1996). A Modern Elaboration of the Ramified Theory of Types. Studia Logica 57 (2-3):243 - 278.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,382 of 549,046 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
