An edition of The lambda calculus (1981)

The lambda calculus

its syntax and semantics

Rev. ed.

by

  • 3 Want to read
  • 1 Currently reading
Cover of: The lambda calculus by H. P. Barendregt, H. P. Barendregt
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 3 Want to read
  • 1 Currently reading
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
July 17, 2023 | History
Edit
An edition of The lambda calculus (1981)

The lambda calculus

its syntax and semantics

Rev. ed.

by

  • 3 Want to read
  • 1 Currently reading

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Language
English
Pages
621

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Lambda calculus, Calculus

Showing 4 featured editions. View all 4 editions?

Edition Availability
Cover of: Lambda Calculus
Lambda Calculus: Its Syntax and Semantics
2013, Elsevier Science & Technology Books
in English
Libraries near you: WorldCat
Cover of: The lambda calculus
The lambda calculus: its syntax and semantics
2012, College Publications
in English
Libraries near you: WorldCat
Cover of: The lambda calculus
The lambda calculus: its syntax and semantics
1984, North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
in English - Rev. ed.
  • Not in Library
Libraries near you: WorldCat
Cover of: The lambda calculus
The lambda calculus: its syntax and semantics
1981, North-Holland Pub. Co., sole distributors for the U.S.A. and Canada Elsevier North-Holland
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Bibliography: p. 585-598.
Includes indexes.

Published in
Amsterdam, New York, New York, N.Y
Series
Studies in logic and the foundations of mathematics ;, v. 103

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.5 .B36 1984, QA9.5

The Physical Object

Pagination
xv, 621 p. :
Number of pages
621

ID Numbers

Open Library
OL2843974M
Internet Archive
lambdacalculusit00bare
ISBN 10
0444867481, 0444875085
LCCN
84005966
Library Thing
769868
Goodreads
2079578

Source records

Scriblio MARC record
University of Prince Edward Island MARC record
amazon.com record
Internet Archive item record
Internet Archive item record
Library of Congress MARC record
amazon.com record
Better World Books record
Promise Item

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 17, 2023 Edited by ImportBot import existing book
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page