ask others

Lambda-Calculus

> Home > Conferences and Workshops

Lambda-Calculus 1975: Rome, Italy

- view
- export record
  dblp key:
  - conf/lambda/1975
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lambda/1975
Corrado Böhm:
Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975. Lecture Notes in Computer Science 37, Springer 1975, ISBN 3-540-07416-3 [contents]

maintained by

at