λ-Calculus and Computer Science Theory

Author
C. Böhm
Publisher
Springer
Subject
Computer Science
Year
1976
Vol/Edition
37
ISBN
9783540379447