On fibrations of enriched groupoids as categorical semantics for identity types in homotopy type theory:

- Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini, ยง3 in:
*Elementary fibrations of enriched groupoids*, Mathematical Structures in Computer Science**31**9 (2021) 958-978 [doi:10.1017/S096012952100030X]

category: people

Created on June 1, 2023 at 06:16:37. See the history of this page for a list of all contributions to it.