A bibliography of lambda-calculi, combinatory logics and related topics
By: A. Rezus
Publisher: Mathematisch Centrum
Published: 1982
Place of publication: Amsterdam
Language: eng
Number of pages: 86
Subjects: Combinatory logic; Bibliography; Lambda calculus