ConferencePaper ISI
 (2018)

Equivalences for Free Univalent Parametricity for Effective Transport

Tabareau, N; Tanter, E; Sozeau, M

Keywords: Coq, Type Equivalence, Homotopy Type Theory, Parametricity

Más información

Título según WOS: Equivalences for Free Univalent Parametricity for Effective Transport
Fecha de publicación: 2018
Idioma: English
DOI:

10.1145/3236787
Notas: ISI