The type free lambda calculus (1977)

by H Barendregt
Venue:Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics, chapter D.7