Introducing Displayed Universal Algebra in UniMath

Altro Prodotto di Ricerca

Data di Pubblicazione:

2025

Tipologia CRIS:

5.12 Altro

Keywords:

displayed algebra, homotopy type theory, UniMath

Elenco autori:

Amato, Gianluca; Calosci, Matteo; Maggesi, Marco; Perini Brogi, Cosimo

Autori di Ateneo:

AMATO Gianluca

Link alla scheda completa:

https://ricerca.unich.it/handle/11564/860473

Progetto:

Smart Knowledge: Enhancing Argumentation and Abstraction for Explanation and Analysis

Dati Generali

URL

https://hott-uf.github.io/2025/abstracts/HoTTUF_2025_paper_18.pdf