DI-Domains as a Model of Polymorphism.

Thierry Coquand, Carl A. Gunter, Glynn Winskel

Browse the full MFPS paper archive.