The Lambda Calculus. Its Syntax and Semantics

Journal of Symbolic Logic 49 (1):301-303 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,199

External links

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

Through your library

Similar books and articles

Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
A Note On Logical Relations Between Semantics And Syntax.A. Pitts - 1997 - Logic Journal of the IGPL 5 (4):589-601.
Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
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.

Analytics

Added to PP
2017-02-21

Downloads
11 (#845,568)

6 months
1 (#448,894)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.

View all 69 citations / Add more citations

References found in this work

No references found.

Add more references