Models of the lambda calculus
By: C.P.J. Koymans.
Series: CWI tract -- 9.
Publisher: Centrum voor Wiskunde en Informatica
Published: 1984
Place of publication: Amsterdam
Language: eng
Number of pages: 181
Subjects: Lambda calculus.; Combinatory logic.
Notes: Includes index.

Bibliography: p. 151-157.