Introduction to Combinators and (lamda) Calculus (London Mathematical Society Student Texts)

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the ...

Introduction to Combinators and lamda Calculus London Mathematical Society Student Texts

Lamda Acting Anthology

...

Lamda Acting Anthology