IRIS

Introducing Displayed Universal Algebra in UniMath

Gianluca Amato
;Marco Maggesi
;
2025-01-01
2025
Inglese
ELETTRONICO
3
Lavoro presentato al Workshop on Homotopy Type Theory / Univalent Foundations 2025, Genoa, Italy, 15–16 April 2025
displayed algebra, homotopy type theory, UniMath
https://hott-uf.github.io/2025/abstracts/HoTTUF_2025_paper_18.pdf
4
Amato, Gianluca; Calosci, Matteo; Maggesi, Marco; Perini Brogi, Cosimo
5 Altro::5.12 Altro
info:eu-repo/semantics/other
none
298
   Smart Knowledge: Enhancing Argumentation and Abstraction for Explanation and Analysis
   SMARTK
   Università  degli Studi della CALABRIA
5.12 Altro
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11564/860473
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact