An edition of Lambda Calculus with Types (2013)

Lambda Calculus with Types

by , , and

Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, ...
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 5, 2021 | History
Edit
An edition of Lambda Calculus with Types (2013)

Lambda Calculus with Types

by , , and

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

Publish Date
Publisher
Cambridge University Press
Language
English

Check nearby libraries

Buy this book

Edition Availability
Cover of: Lambda Calculus with Types
Lambda Calculus with Types
2013, Cambridge University Press
in English
Cover of: Lambda Calculus with Types
Lambda Calculus with Types
2013, Cambridge University Press
in English
Cover of: Lambda Calculus with Types
Lambda Calculus with Types
2013, Cambridge University Press
in English
Cover of: Lambda Calculus with Types
Lambda Calculus with Types
2013, Cambridge University Press
in English

Add another edition?

Book Details

Edition Identifiers

Open Library
OL34490306M
ISBN 13
9781139032636

Work Identifiers

Work ID
OL25682358W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 5, 2021 Created by ImportBot Imported from Better World Books record