The formulas-as-types notion of construction, in Curry Festschrift, Hindley and Seldin eds, 479-490 (1980)

by W Howard
Venue:Information and Computation