Basic simple type theory, J. Roger Hindley
Journal of Logic, Language and Information 8 (4):473-476 (1999)
| 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 articlesZiv Shami (2004). Coordinatisation by Binding Groups and Unidimensionality in Simple Theories. Journal of Symbolic Logic 69 (4):1221 - 1242.
Roger Hindley (1967). Axioms for Strong Reduction in Combinatory Logic. Journal of Symbolic Logic 32 (2):224-236.
J. Roger Hindley (1993). BCK and BCI Logics, Condensed Detachment and the $2$-Property. Notre Dame Journal of Formal Logic 34 (2):231-250.
G. Mints (1999). Cut-Elimination for Simple Type Theory with an Axiom of Choice. Journal of Symbolic Logic 64 (2):479-485.
Ziv Shami & Frank O. Wagner (2002). On the Binding Group in Simple Theories. Journal of Symbolic Logic 67 (3):1016-1024.
Sachio Hirokawa (1992). The Converse Principal Type-Scheme Theorem in Lambda Calculus. Studia Logica 51 (1):83 - 95.
G. Landini (2011). Logicism and the Problem of Infinity: The Number of Numbers. Philosophia Mathematica 19 (2):167-212.
J. Roger Hindley (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge University Press.
J. Roger Hindley & David Meredith (1990). Principal Type-Schemes and Condensed Detachment. Journal of Symbolic Logic 55 (1):90-105.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads1 ( #274,602 of 549,037 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
