Existential Types: Logical Relations and Operational Equivalence (1998)

by A Pitts
Venue:In International Colloquium on Automata, Languages and Programming