[Lambda]-Calculus and Computer Science Theory : proceedings of the symposium held in Rome, March 25-27, 1975, IAC-CNR Instituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
| Korporace: | , |
|---|---|
| Další autoři: | |
| Typ dokumentu: | Konferenční sborník Kniha |
| Jazyk: | angličtina |
| ISBN: | 0-387-07416-3 3-540-07416-3 |
| Rok: |
Berlin ; New York :
Springer,
1975
|
| Edice: | Lecture notes in computer science
|
| Témata: |