Andrew M. Pitts. Relational Properties of Domains. Information and Computation, 127(2):66-90, June 1996.
[ Parametricity ]
@article{pitts96,
Author = {Pitts, Andrew M.},
Title = {Relational Properties of Domains},
Journal = {Information and Computation},
Volume = {127},
Number = {2},
Pages = {66--90},
Month = {June},
Year = {1996}
}
Get EndNote Reference (.ref)