- Tytuł pełny:
- λ-Calculus and computer science theory : proceedings of the Symposium held in Rome, March 25-27, 1975 / ed. by C. Böhm ; IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
- Wydawca:
- Berlin [etc.] : Springer-Verlag
- Rok wydania:
- 1975
- Seria:
- Lecture Notes in Computer Science, 0302-9743 ; 37
- Temat:
- Logika kombinatoryczna - konferencje.
Języki programowania - konferencje.
Książka