J. Gallier. On Girard's Candidats de Reductibilite - Some Polymorphic Thoughts. 0.
[ Parametricity ]
@Misc{gallier88,
Author = {Gallier, J.},
Title = {On Girard's Candidats de Reductibilite - Some Polymorphic Thoughts},
Year = {0}
}
Get EndNote Reference (.ref)