Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium held in Rome, March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del ... Notes in Computer Science (37), Band 37)
von
C. Bohm
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-07416-8
ISBN-10: 3-540-07416-3
Springer
· 1975
