The Type Free Lambda Calculus (1977)

by H P Barendregt
Venue:In Handbook of Mathematical Logic