A type theoretical alternative to CUCH (1993)

by D Scott
Venue:ISWIM and OWHI”, Theoretical Computer Science (Böhm Festschrift