DI-Domains as a Model of Polymorphism. in: Mathematical Foundations of Programming Language Semantics, 3rd Workshop (1987)

by T Coquand, C A Gunter, G Winskel
Venue:Tulane University