R. Hindley. Curry's Type-Rules are Complete with Respect to the F-Semantics too. Theoretical Computer Science, 22:127-133, 1983.
[ Parametricity ]
@article{hindley83b,
Author = {Hindley, R.},
Title = {Curry's Type-Rules are Complete with Respect to the F-Semantics too},
Journal = {Theoretical Computer Science},
Volume = {22},
Pages = {127--133},
Year = {1983}
}
Get EndNote Reference (.ref)