An edition of [Lambda] - calculus and computer science theory (1975)

[Lambda]-Calculus and computer science theory

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

Cover of: [Lambda]-Calculus and computer science theory by Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome), Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 4, 2025 | History
Edit
An edition of [Lambda] - calculus and computer science theory (1975)

[Lambda]-Calculus and computer science theory

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

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

Publish Date
Publisher
Springer-Verlag
Language
English, French
Pages
370

Check nearby libraries

Buy this book

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 Availability
Cover of: [Lambda]-Calculus and computer science theory
[Lambda]-Calculus and computer science theory: 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
1975, Springer-Verlag
in English and French
Cover of: [Lambda] - calculus and computer science theory
[Lambda] - calculus and computer science theory: 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
1975, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

Published in
Berlin, New York
Series
Lecture notes in computer science -- 37

Classifications

Library of Congress
QA9.5 .L35, QA8.9-QA10.3QA8.9-10

The Physical Object

Pagination
xii, 370p. :
Number of pages
370

Edition Identifiers

Open Library
OL15274156M
ISBN 10
3540074163
LCCN
75033375
OCLC/WorldCat
1849004

Work Identifiers

Work ID
OL11504336W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 4, 2025 Edited by MARC Bot import existing book
March 28, 2025 Edited by ImportBot Redacting ocaids
September 13, 2021 Edited by ImportBot import existing book
May 9, 2021 Edited by ImportBot import existing book
September 19, 2008 Created by ImportBot Imported from Talis record