[Lambda]-Calculus and Computer Science Theory : Proceedings of the Symposium held in Rome March 25-24, 1975 /
| Další autoři: |
Böhm, C.
(
Editor )
|
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina |
| Vydavatel: |
Berlin :
Springer-Verlag,
1975
|
| Edice: |
Lecture Notes in Computer Science ;
37 |
| Předmět: | |
|
|