title
Datatypes with Symmetries in Homotopy Type Theory
Sümmeetriatega andmetüübid homotoopilises tüübiteoorias
author
Joram, Philipp
keywords
homotopy type theory
datatypes
symmetry
containers
doctoral theses
homotoopiline tüübiteooria
andmetüübid
sümmeetria
konteinerid
doktoritööd
description
Citation: Joram, P. (2026). Datatypes with Symmetries in Homotopy Type Theory [TalTech Press]. https://doi.org/10.23658/taltech.40/2026
Monography. Monograafia
serial number
40/2026
publisher
TalTech Press
TalTech Kirjastus
supervisor
Veltri, Niccolò
defence date
19.06.2026
identifier
https://digikogu.taltech.ee/et/Item/4fd5bcfa-fada-4ae0-bc28-14e3fa580b4e
978-9916-80-515-2 (PDF)
https://doi.org/10.23658/taltech.40/2026
language
eng
rights
CC BY-NC-SA
institution
Tallinn University of Technology
Tallinna Tehnikaülikool
faculty
School of Information Technologies
Infotehnoloogia teaduskond
department / college
Department of Software Science
Tarkvarateaduse instituut