Datatypes with Symmetries in Homotopy Type Theory = Sümmeetriatega andmetüübid homotoopilises tüübiteoorias

author
Joram, Philipp
supervisor
author supervisor
statement of authorship
Philipp Joram ; [supervisor: Niccolò Veltri ; Tallinn University of Technology, School of Information Technologies, Department of Software Science]
type of dissertation
doktoritöö
university/scientific institution
Tallinna Tehnikaülikool
location of publication
Tallinn
publisher
TalTech Press
year of publication
2026
pages
188 p
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 40/2026
subject term
tüübiteooria
homotoopiateooria
andmetüübid
sümmeetria
konteinerid
subject of form
doktoritööd
ISSN
2585-6898
2585-6901 (PDF)
ISBN
978-9916-80-515-2 (PDF)
978-9916-80-514-5
notes
Autori publikatsioonide nimekiri leheküljel vii
Bibliogr. lk. 161-168
Kokkuvõte eesti keeles
Kättesaadav ka võrguteavikuna
Autori CV inglise ja eesti keeles, lk. 186-188
Thesis (Ph.D.) : Tallinn University of Technology, 2026
url
https://www.ester.ee/record=b6056790*est
https://digikogu.taltech.ee/et/Item/4fd5bcfa-fada-4ae0-bc28-14e3fa580b4e
https://doi.org/10.23658/taltech.40/2026
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
2.3
TalTech department
tarkvarateaduse instituut
language
inglise