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)
10.02 MiB
Download ready in 3s