The type free lambda calculus (1981)

by H Barendregt
Venue:Handbook of Mathematical logic, Ed. J .Barwise, North