Typed Lambda Calculi and Applications - Info and Reading Options
International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne (Research Notes in Neural Computing)
By International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands)
"Typed Lambda Calculi and Applications" was published by Springer in April 1993, it has 433 pages and the language of the book is English.
“Typed Lambda Calculi and Applications” Metadata:
- Title: ➤ Typed Lambda Calculi and Applications
- Author: ➤ International Conference on Typed Lambda Calculi and Applications (1993 Utrecht, Netherlands)
- Language: English
- Number of Pages: 433
- Publisher: Springer
- Publish Date: April 1993
“Typed Lambda Calculi and Applications” Subjects and Themes:
- Subjects: ➤ Congresses - Lambda calculus - Mathematical Logic and Formal Languages - Programming Techniques - Symbolic and mathematical Logic - Logic design - Logics and Meanings of Programs - Computer science - Mathematical Logic and Foundations - Calculus
Edition Specifications:
- Format: Paperback
Edition Identifiers:
- The Open Library ID: OL9060974M - OL3928149W
- ISBN-13: 9783540565178
- ISBN-10: 3540565175
- All ISBNs: 3540565175 - 9783540565178
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.