Lambda calculus with types :: H. P. Barendregt :: ISBN 9780521766142 :: Association for Symbolic Logic 2013 :: OBNB, the Open British National Bibliography

Publication Data

Title Lambda calculus with types
Author H. P. Barendregt
Contributors Wil Dekkers, Richard Statman, Fabio Alessi, Association for Symbolic Logic
Publisher Association for Symbolic Logic
Publication date 2013
Publication location Ithaca, NY
Language English

Topics

Lambda calculus

Catalogue Data

OBNB ID GBB360874
ISBN 10 0521766141
ISBN 13 9780521766142
Type BibliographicResource, Book
Dewey Classification 511.35

ISBD

P1053 xxii, 833 pages
P1042 Includes bibliographical references and indexes.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Lambda calculus with types by H. P. Barendregt. ISBN 9780521766142. Published by Association for Symbolic Logic in 2013. Publication and catalogue information, links to buy online and reader comments.