The impact of the lambda calculus in logic and computer science (1997)

by H Barendregt
Venue:Bulletin of Symbolic Logic