Datatypes with Symmetries in Homotopy Type Theory = Sümmeetriatega andmetüübid homotoopilises tüübiteoorias
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
year of publication
pages
188 p
series
Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 40/2026
subject term
subject of form
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
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TalTech department
language
inglise
Joram, P. Datatypes with Symmetries in Homotopy Type Theory = Sümmeetriatega andmetüübid homotoopilises tüübiteoorias. Tallinn : TalTech Press, 2026. 188 p. (Tallinn University of Technology. Doctoral thesis = Tallinna Tehnikaülikool. Doktoritöö ; 40/2026).