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 Picone" 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 ImportBot
May 9, 2021 | 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 Picone" of the Consiglio Nazionale delle Ricerche

by

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

Publish Date
Publisher
Springer-Verlag
Language
English
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 Picone" of the Consiglio Nazionale delle Ricerche
1975, Springer-Verlag
in English
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

Add another edition?

Book Details

Edition Notes

'The volume arose from a Symposium on [Lambda]- Calculus and Computer Science Theory... held in Rome, Italy, March 25-27, 1975... organised by the Istituto per 1e Applicazioni del Calcolo "Mauro Picone".' - introd.

Includes bibliographies.

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

Classifications

Dewey Decimal Class
511/.3
Library of Congress
QA9.5, QA9.5 .L35

The Physical Object

Pagination
xii, 370 p. :
Number of pages
370

Edition Identifiers

Open Library
OL22179320M
ISBN 10
0387074163
LCCN
75033375
LibraryThing
8973862

Work Identifiers

Work ID
OL11504336W

Source records

amazon.com record
Library of Congress MARC record
Promise Item

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
May 9, 2021 Edited by ImportBot import existing book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
January 20, 2010 Edited by WorkBot add subjects and covers
December 11, 2009 Created by WorkBot add works page