Proceedings of the Symposium on [symbol for lambda]-Calculus and Computer Science Theory, Roma, March 25-27, 1975.
Publisher: Tipo-lithografia MARVES
Published: 1975
Place of publication: Roma
Language: eng
Number of pages: 315
Subjects: Lambda calculus -- Congresses.; Computable functions -- Congresses.; Recursive functions -- Congresses.; Machine theory -- Congresses.
Notes: Includes bibliographies.