Lambda-calculus, combinators, and functional programming

New York: Cambridge University Press (1988)
  Copy   BIBTEX

Abstract

Provides computer science students and researchers with a firm background in lambda-calculus and combinators.

Categories

Keywords

Reprint years

Call number

QA9.5.R48 1988

ISBN(s)

0521345898

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by J. P. Seldin.
The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.
[Lambda]-calculus and computer science theory: proceedings of the symposium held in Rome, March 25-27, 1975.C. Böhm (ed.) - 1975 - New York: Springer Verlag.
Combinatory reduction systems.Jan Willem Klop - 1980 - Amsterdam: Mathematisch centrum.
Lambda-calculus and combinators in the 20th century.Felice Cardone & J. Roger Hindley - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--723.
Unification of Simply Typed Lambda-Terms as Logic Programming.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
Lambda Calculi: A Guide for the Perplexed.Chris Hankin - 1994 - Oxford University Press.
Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
Recursive Programming Techniques.William H. Burge - 1975 - Addison Wesley Publishing Company.
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.

Analytics

Added to PP
2009-01-28

Downloads
13 (#1,065,206)

6 months
6 (#588,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Combinatory logic.Katalin Bimbó - 2009 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references