Typed Lambda Calculi and Applications - Info and Reading Options
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings
By Samson Abramsky
"Typed Lambda Calculi and Applications" was published by Springer London, Limited in 2003 and the language of the book is English.
“Typed Lambda Calculi and Applications” Metadata:
- Title: ➤ Typed Lambda Calculi and Applications
- Author: Samson Abramsky
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2003
“Typed Lambda Calculi and Applications” Subjects and Themes:
- Subjects: Lambda calculus - Congresses
Edition Specifications:
- Pagination: xii, 436
Edition Identifiers:
- The Open Library ID: OL37149404M - OL8057067W
- ISBN-13: 9783540454137
- All ISBNs: 9783540454137
AI-generated Review of “Typed Lambda Calculi and Applications”:
Read “Typed Lambda Calculi and Applications”:
Read “Typed Lambda Calculi and Applications” by choosing from the options below.
Search for “Typed Lambda Calculi and Applications” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Typed Lambda Calculi and Applications” in Libraries Near You:
Read or borrow “Typed Lambda Calculi and Applications” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Typed Lambda Calculi and Applications” at a library near you.
Buy “Typed Lambda Calculi and Applications” online:
Shop for “Typed Lambda Calculi and Applications” on popular online marketplaces.
- Ebay: New and used books.
