A type-theoretical alternative to ISWIM,CUCH (1993)

by D S Scott
Venue:OWHY. Theoretical Computer Science