Church A., The Calculi of Lambda Conversion, Princeton, N.J., Princeton University Press, 1941. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Fundamenta Informaticae 68 (2005) 47--102 47 IOS Press - Calculus Of Bounded (Correct)
No context found.
Church A., The Calculi of Lambda Conversion, Princeton, N.J., Princeton University Press, 1941.
A Model for Deliberation, Action, and Introspection - Doyle (1980) (1 citation) (Correct)
No context found.
Church, A., 1941. The calculi of lambda-conversion, Annals of Mathematics Studies 6, Princeton.
New Models of Computation - Peter Wegner Dept (Correct)
No context found.
Church, A. (1941), The Calculi of Lambda Conversion, Princeton University Press.
Is Entscheidungsproblem Solvable? - Beyond Undecidability Of (Correct)
No context found.
Church A., The Calculi of Lambda Conversion, Princeton, N.J., Princeton University Press, 1941.
Polytypic Functional Programming and Data Abstraction - Iglesias (2006) (Correct)
No context found.
Alonzo Church. The Calculi of Lambda Conversion. Princeton University Press, 1941.
Basic Research in Computer Science - On The Recursive (Correct)
No context found.
Alonzo Church. The Calculi of Lambda-Conversion. Princeton University Press, 1941.
Understanding Ecient Universal Functions for the -Calculus - Pablo Nogueira Babel (2001) (Correct)
No context found.
Alonzo Church (1941). The Calculi of Lambda Conversion, Princeton University Press. A seminal paper by the father of the creature.
Cut Rules and Explicit Substitutions - Vestergaard, Wells (1999) (3 citations) (Correct)
No context found.
Alonzo Church. The Calculi of Lambda Conversion. Princeton University Press, 1941.
Cut Rules and Explicit Substitutions - Vestergaard, Wells (2000) (3 citations) (Correct)
No context found.
Church, A. (1941). The Calculi of Lambda Conversion. Princeton University Press.
Le Fun: Logic, equations, and Functions - Ait-Kaci, Lincoln, Nasr (1986) (Correct)
No context found.
Church, A., The Calculi of Lambda Conversion. Publishers? 1941.
Termination - As The Example (Correct)
No context found.
Alonzo Church. The Calculi of Lambda-Conversion. Princeton University Press, Princeton, New Jersey, 1941.
Unknown - Linear Type Theory (Correct)
No context found.
Alonzo Church. The Calculi of Lambda-Conversion. Princeton University Press, Princeton, New Jersey, 1941.
Unknown - Linear Calculus In (Correct)
No context found.
Alonzo Church. The Calculi of Lambda-Conversion. Princeton University Press, Princeton, New Jersey, 1941.
Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
No context found.
Alonzo Church. The Calculi of Lambda Conversion. Princeton University Press, Princeton, 1941.
The AMEN architecture. - Peter Hancock Abandoned (Correct)
No context found.
A. Church. The Calculi of Lambda Conversion. Princeton Univ. Press, 1941.
Ordinals and Interactive Programs - Hancock (2000) (Correct)
No context found.
A. Church. The Calculi of Lambda Conversion. Princeton Univ. Press, 1941.
Conservation and Uniform Normalization in Lambda Calculi.. - Neergaard, Sørensen (2002) (2 citations) (Correct)
No context found.
A. Church, The Calculi of Lambda-Conversion, Princeton University Press, 1941.
Certified Reasoning on Real Numbers and Objects in.. - Ciaffaglione (Correct)
No context found.
A. Church. The Calculi of Lambda Conversion. Princeton University Press, 1941.
FCS'03 Preliminary Version - Encryption As An (Correct)
No context found.
Alonzo Church. The Calculi of Lambda-Conversion. Princeton University Press, 1941.
The Types of Models - Allison (2003) (Correct)
No context found.
Church, A.: The Calculi of Lambda Conversion. Princeton University Press (1941)
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
No context found.
Church, A. The Calculi of Lambda Conversion. Princeton University Press, 1941.
Weak and Strong Normalization, K-redexes, and First-Order Logic - Neergaard (1999) (Correct)
No context found.
Alonzo Church. The Calculi of Lambda-Conversion. Princeton University Press, 1941. Cited on page 1. 115
DEA SEMANTIQUE, PREUVES et - Langages Cours De (Correct)
No context found.
A. Church. The Calculi of Lambda-Conversion. Ann. of Math. Studies, 6, 1941.
Parametric Parameter Passing λ-calculus - Paolini, Rocca (2003) (Correct)
No context found.
Church, A.,\The Calculi of Lambda Conversion", Princeton University Press, 1941.
A Correspondence between Martin-Löf Type Theory, the.. - Kamareddine, Laan (Correct)
No context found.
A. Church. Calculi of Lambda Conversion. Annals of Mathematical Studies 6, princeton University Press, Princeton, 1941.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC