pealkiri
Datatypes with Symmetries in Homotopy Type Theory
Sümmeetriatega andmetüübid homotoopilises tüübiteoorias
autor
Joram, Philipp
märksõnad
homotopy type theory
datatypes
symmetry
containers
doctoral theses
homotoopiline tüübiteooria
andmetüübid
sümmeetria
konteinerid
doktoritööd
kirjeldus
Citation: Joram, P. (2026). Datatypes with Symmetries in Homotopy Type Theory [TalTech Press]. https://doi.org/10.23658/taltech.40/2026
Monography. Monograafia
doktoritöö järjekorranumber
40/2026
väljaandja
TalTech Press
TalTech Kirjastus
juhendaja
Veltri, Niccolò
kaitsmiskuupäev
19.06.2026
identifikaator
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
keel
eng
õigused
CC BY-NC-SA
asutus
Tallinn University of Technology
Tallinna Tehnikaülikool
teaduskond
School of Information Technologies
Infotehnoloogia teaduskond
instituut / kolledž
Department of Software Science
Tarkvarateaduse instituut