In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132 (1977)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Buy the book Find it on Amazon.com
Options
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: 72,607
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

Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.

View all 29 references / Add more references

Citations of this work BETA

Numeration Models of Λ-Calculus.Akira Kanda - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (14-18):209-220.
Classes of Numeration Models of Λ-Calculus.Akira Kanda - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):315-322.
Numeration Models of Λ‐Calculus.Akira Kanda - 1985 - Mathematical Logic Quarterly 31 (14‐18):209-220.
Classes of Numeration Models of Λ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (19‐24):315-322.

Add more citations

Similar books and articles

Lambda Calculus with Types.H. P. Barendregt - 2013 - Cambridge University Press.
Ordinals and Ordinal Functions Representable in the Simply Typed Lambda Calculus.N. Danner - 1999 - Annals of Pure and Applied Logic 97 (1-3):179-201.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
Kripke-Style Models for Typed Lambda Calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.
$Lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.

Analytics

Added to PP index
2014-01-27

Total views
25 ( #460,465 of 2,533,653 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,653 )

How can I increase my downloads?

Downloads

My notes