The formulae-as-types notion of construction, in: Hindley and Seldin (1980)

by W A Howard, G Kreisel, R J Parikh, W W