A type-theoretical alternativetocuch, iswim and owhy (1993)

by D S Scott
Venue:Theoretical Computer Science