A type-theoretical alternative to (1993)

by D S Scott
Venue:ISWIM, CUCH, OWHY, TCS 121(1and