Coquand, T., Gunter, C., & Winskel, G. (1987). DI-domains as a model of polymorphism.
Chicago-Zitierstil (17. Ausg.)Coquand, Thierry, Carl Gunter, und Glynn Winskel. DI-domains as a Model of Polymorphism. Cambridge, 1987.
MLA-Zitierstil (9. Ausg.)Coquand, Thierry, et al. DI-domains as a Model of Polymorphism. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.