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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: [Lambda] - calculus and computer science theory by Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
January 15, 2023 | 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

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition 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

Previews available in: English

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

Showing 2 featured editions. View all 2 editions?

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
  • Not in Library
Libraries near you: WorldCat
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
Libraries near you: WorldCat

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

ID Numbers

Open Library
OL22179320M
ISBN 10
0387074163
LCCN
75033375
Library Thing
8973862

Source records

amazon.com record
Library of Congress MARC record
Promise Item

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
January 15, 2023 Edited by ImportBot import existing book
October 8, 2020 Edited by MARC Bot import existing book
March 10, 2019 Edited by ImportBot import existing book
August 19, 2010 Edited by IdentifierBot added LibraryThing ID
November 8, 2008 Created by ImportBot Imported from Talis record