Domain theoretic models of polymorphism

Thierry Coquand, Carl Gunter, Glynn Winskel

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Domain theoretic models of polymorphism'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science