Skip to Main Content (Press Enter)
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
unich.it
IT
EN
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Third Mission
Projects
Expertise & Skills
☰
Courses
Introducing Displayed Universal Algebra in UniMath
Other Research Product
Publication Date:
2025
Iris type:
5.12 Altro
Keywords:
displayed algebra, homotopy type theory, UniMath
List of contributors:
Amato, Gianluca; Calosci, Matteo; Maggesi, Marco; Perini Brogi, Cosimo
Authors of the University:
AMATO Gianluca
Handle:
https://ricerca.unich.it/handle/11564/860473
Project:
Smart Knowledge: Enhancing Argumentation and Abstraction for Explanation and Analysis
Overview
Overview
URL
https://hott-uf.github.io/2025/abstracts/HoTTUF_2025_paper_18.pdf
