Login / Signup
Functorial Parametricity
Peter J. Freyd
Edmund P. Robinson
Giuseppe Rosolini
Published in:
LICS (1992)
Keyphrases
</>