The Calculi of Lambda-conversion
- ISBN-10
- 0691083940
- ISBN-13
- 9780691083940
- Category
- Mathematics
- Pages
- 77
- Language
- English
- Published
- 1985-01-21
- Publisher
- Princeton University Press
- Author
- Alonzo Church
Description
The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.
Get the book
Similar books
-
A++ and the Lambda Calculus: Principles of Functional Programming
By Georg P. LoczewskiThe book 'A++ and the Lambda Calculus' also contains a brief introduction to the educational programming language A++, a minimal programming language that has been built with the Lambda Calculus as its foundation.
-
The Calculi of Lambda Conversion. (AM-6), Volume 6
By Alonzo ChurchH. B. Curry, An analysis of logical substitution, American journal of mathematics, vol. 51 (1929 )* pp. 363 - 384. 18. H. B. Curry, Grundlagen der komblnatorlschen Loglk, ibid., vol. 52 (1930), pp. 509 - 536, 789 - 834. 19* H. B. Curry ...
-
Lambda Calculus with Types
By Henk Barendregt, Wil Dekkers, Richard StatmanThis handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty.
-
Introduction to Combinators and [lambda]-calculus
By J. P. Seldin, J. R. HindleyCombinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'.
-
An Introduction to Functional Programming Through Lambda Calculus
By Greg MichaelsonWell-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, and numerous exercises offer reinforcement. Includes solutions. 1989 edition.
-
Lecture Notes on the Lambda Calculus
By Peter SelingerThis is a set of lecture notes that developed out of courses on the lambda calculus that the author taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013.
-
Lambda-Calculus and Combinators: An Introduction
By J. Roger Hindley, Jonathan P. SeldinThe treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
-
Introduction to Mathematical Logic
By Alonzo ChurchAt his death in 1995, Church was still regarded as the greatest mathematical logician in the world. This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
-
Lambda-calculus, Types and Models
By Jean Louis KrivineThis introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.
-
Catalogue of the Paintings in The Corcoran Gallery of Art
By AnonymousThis work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it.