Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types [Book Review]

Studia Logica 103 (6):1319-1326 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s11225-015-9634-z

Links

PhilArchive



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

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

Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.
Enumerators of lambda terms are reducing constructively.Henk Barendregt - 1995 - Annals of Pure and Applied Logic 73 (1):3-9.
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Archive for Mathematical Logic 37 (5-6):327-341.
Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Book Review. The Lambda-Calculus. H. P. Barendregt(. [REVIEW]Harold Hodes - 1988 - Philosophical Review 97 (1):132-7.
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.
The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
Systems of illative combinatory logic complete for first-order propositional and predicate calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic.Wil Dekkers, Martin Bunder & Henk Barendregt - 1998 - Journal of Symbolic Logic 63 (3):869-890.
Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
Intersection types for lambda-terms and combinators and their logics.Martin Bunder - 2002 - Logic Journal of the IGPL 10 (4):357-378.
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
A Filter lambda model and the completeness of type assignment.Henk Barendregt, Mario Coppo & Mariangiola Dezani-Ciancaglini - 1983 - Journal of Symbolic Logic 48 (4):931-940.

Analytics

Added to PP
2015-10-12

Downloads
14 (#968,362)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references