It looks like you're offline.
Donate
♥
English (en)
العربية (ar)
Čeština (cs)
Deutsch (de)
English (en)
Español (es)
Français (fr)
हिंदी (hi)
Hrvatski (hr)
Italiano (it)
Português (pt)
Română (ro)
Sardu (sc)
తెలుగు (te)
Українська (uk)
中文 (zh)
Filipino (tl)
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
All
All
Title
Author
Text
Subject
Lists
Advanced
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited by
ImportBot
September 19, 2008 |
History
Edit
Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)
1 work
Add another?
Details
Grid
— Show
only ebooks
?
[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
Symposium on [Lambda]-Calculus and Compu...
First published in 1975
2 editions
Locate
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
My Reading Lists:
Create a new list
Create a new list
×
Close
Name:
Description:
Create new list
Cancel
Subjects
Combinatory logic
Congresses
Congrès
Datenverarbeitung
Kombinatorische Logik
Kongress
Lambda-Kalkül
Lambda-calculus
Langages de programmation
Logik
Logique combinatoire
Metamathematik
Programmiersprache
Programming languages (Electronic computers)
Add to List
My Reading Lists:
Create a new list
ID Numbers
OLID: OL4836329A
Links
outside Open Library
No links yet.
Add one
?
Download catalog record:
RDF
/
JSON