Login / Signup

Notions of parametricity as monoidal models for type theory.

Hugo Moeneclaey
Published in: CoRR (2022)
Keyphrases