[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 Pecone" 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)
- Languages: English - fre
- 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, 370p. :
Edition Identifiers:
- The Open Library ID: OL15274156M - OL11504336W
- Online Computer Library Center (OCLC) ID: 1849004
- Library of Congress Control Number (LCCN): 75033375
- ISBN-10: 3540074163
- All ISBNs: 3540074163
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.