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

  • 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

Download Options

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 Pecone" 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 Pecone" 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 Picone" of the Consiglio Nazionale delle Ricerche
1975, Springer-Verlag
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Berlin, New York

Edition Notes

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

ID Numbers

Open Library
OL15274156M
Internet Archive
lambdacalculusco00bhmc
ISBN 10
3540074163
LCCN
75033375

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