A type-theoretical alternative to ISWIM (1993)

by D S Scott
Venue:CUCH, OWHY. Theoretical Computer Science