[Lambda] - calculus and computer science theory - Info and Reading Options
proceedings of the symposium held in Rome March 25-27, 1975. IAC-CNR, Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
By Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
"[Lambda] - calculus and computer science theory" was published by Springer-Verlag in 1975 - Berlin, it has 370 pages and the language of the book is English.
“[Lambda] - calculus and computer science theory” Metadata:
- Title: ➤ [Lambda] - calculus and computer science theory
- Author: ➤ Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
- Language: English
- Number of Pages: 370
- Publisher: Springer-Verlag
- Publish Date: 1975
- Publish Location: Berlin
“[Lambda] - calculus and computer science theory” Subjects and Themes:
- Subjects: ➤ Combinatory logic - Congresses - Programming languages (Electronic computers) - Langages de programmation - Congrès - Logique combinatoire - Datenverarbeitung - Kombinatorische Logik - Lambda-Kalkül - Logik - Metamathematik - Programmiersprache - Kongress - Lambda-calculus
Edition Specifications:
- Pagination: xii, 370 p. :
Edition Identifiers:
- The Open Library ID: OL22179320M - OL11504336W
- Library of Congress Control Number (LCCN): 75033375
- ISBN-10: 0387074163
- All ISBNs: 0387074163
AI-generated Review of “[Lambda] - calculus and computer science theory”:
Read “[Lambda] - calculus and computer science theory”:
Read “[Lambda] - calculus and computer science theory” by choosing from the options below.
Search for “[Lambda] - calculus and computer science theory” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “[Lambda] - calculus and computer science theory” in Libraries Near You:
Read or borrow “[Lambda] - calculus and computer science theory” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “[Lambda] - calculus and computer science theory” at a library near you.
Buy “[Lambda] - calculus and computer science theory” online:
Shop for “[Lambda] - calculus and computer science theory” on popular online marketplaces.
- Ebay: New and used books.