Derivatives for Containers in Univalent Foundations
author
Joram, Philipp
Veltri, Niccolo
statement of authorship
Philipp Joram and Niccolò Veltri
source
arXiv.org
publisher
Cornell University
journal volume number month
arXiv:2512.17484
year of publication
2025
pages
34 p
url
https://doi.org/10.48550/arXiv.2512.17484
subject term
konteinerid
tuletised (matemaatika)
subject of form
preprindid
notes
Bibliogr. p. 32-34
scientific publication
teaduspublikatsioon
classifier
6.7
TalTech department
tarkvarateaduse instituut
language
inglise