A type-theoretic alternative to CUCH, ISWIM, OWHY, unpublished manuscript (1969)

by D S Scott