Title: Alternative axiomatizations of models of the Lambda-calculus
First published: 1981
Subjects: Lambda calculus
LC classification: QA76.5 .T67 no. 151/81