The formulae-as-types notion of construction. Privately circulated notes (1969)

by W A Howard