The Calculi of Lambda-Conversion

Journal of Symbolic Logic 6 (4):171-171 (1941)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267126

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Compositional Z: Confluence Proofs for Permutative Conversion.Koji Nakazawa & Ken-Etsu Fujita - 2016 - Studia Logica 104 (6):1205-1224.
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
Review: Alonzo Church, The Calculi of Lambda-Conversion. [REVIEW]S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
Review: Alonzo Church, The Calculi of Lambda-Conversion. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-171.
Church Alonzo. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Lithoprinted. Princeton University Press, Princeton 1941, 77 pp. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-172.
Church Alonzo. The calculi of lambda-conversion. Annals of Mathematics studies, no. 6. Second printing. Lithoprinted. Princeton University Press, Princeton 1951, 82 pp. [REVIEW]S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
Stationary Sets and Infinitary Logic.Saharon Shelah & Jouko Vaananen - 2000 - Journal of Symbolic Logic 65 (3):1311-1320.
Skew confluence and the lambda calculus with letrec.Zena M. Ariola & Stefan Blom - 2002 - Annals of Pure and Applied Logic 117 (1-3):95-168.
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide - 2008 - Logica Universalis 2 (2):189-207.
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
Suggestion for Einstein-Podolsky-Rosen experiments using reactions likee^ + e^ - to Lambda bar Lambda to pi ^ - ppi ^ + bar p.Nils A. Törnqvist - 1981 - Foundations of Physics 11 (1-2):171-177.
Slim Models of Zermelo Set Theory.A. R. D. Mathias - 2001 - Journal of Symbolic Logic 66 (2):487-496.
A Gitik iteration with nearly Easton factoring.William J. Mitchell - 2003 - Journal of Symbolic Logic 68 (2):481-502.
Decomposable Ultrafilters and Possible Cofinalities.Paolo Lipparini - 2008 - Notre Dame Journal of Formal Logic 49 (3):307-312.

Analytics

Added to PP
2017-02-21

Downloads
15 (#893,994)

6 months
3 (#902,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

How Involved do You Want to be in a Non-symmetric Relationship?Fraser MacBride - 2014 - Australasian Journal of Philosophy 92 (1):1-16.

View all 51 citations / Add more citations

References found in this work

No references found.

Add more references