Login / Signup
An Axiomatic System of Parametricity.
Izumi Takeuti
Published in:
Fundam. Informaticae (1998)
Keyphrases
</>