Login / Signup

Functorial Parametricity

Peter J. FreydEdmund P. RobinsonGiuseppe Rosolini
Published in: LICS (1992)
Keyphrases