Lambda-calculus and combinators in the 20th century

&
In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--723 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Variable-free formalization of the Curry-Howard theory.William Tait - manuscript
Review: J. Roger Hindley, Jonathan P. Seldin, Introduction to Combinators and $lambda$-Calculus. [REVIEW]J. L. Krivine - 1988 - Journal of Symbolic Logic 53 (3):985-986.
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.
Lambda-calculus, combinators, and functional programming.György E. Révész - 1988 - New York: Cambridge University Press.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
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.
$lambdamu$-Calculus and Bohm's Theorem.Rene David & Walter Py - 2001 - Journal of Symbolic Logic 66 (1):407-413.
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.
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..
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
Investigation into combinatory systems with dual combinators.Katalin Bimbó - 2000 - Studia Logica 66 (2):285-296.
Lambda calculus with types.H. P. Barendregt - 2013 - New York: Cambridge University Press. Edited by Wil Dekkers & Richard Statman.
Compact bracket abstraction in combinatory logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
The Proofs of $alpha rightarrow alpha$ in $P - W$.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.

Analytics

Added to PP
2014-02-01

Downloads
42 (#378,475)

6 months
6 (#518,648)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Platitudes in mathematics.Thomas Donaldson - 2015 - Synthese 192 (6):1799-1820.
Functions in Frege, Bolzano and Husserl.Stefania Centrone - 2010 - History and Philosophy of Logic 31 (4):315-336.
Burali-Forti as a Purely Logical Paradox.Graham Leach-Krouse - 2019 - Journal of Philosophical Logic 48 (5):885-908.
A New–old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.
Continuity in Semantic Theories of Programming.Felice Cardone - 2015 - History and Philosophy of Logic 36 (3):242-261.

Add more citations

References found in this work

No references found.

Add more references