Derivatives for Containers in Univalent Foundations
autor
Joram, Philipp
Veltri, Niccolo
vastutusandmed
Philipp Joram and Niccolò Veltri
allikas
arXiv.org
kirjastus/väljaandja
Cornell University
ajakirja aastakäik number kuu
arXiv:2512.17484
ilmumisaasta
2025
leheküljed
34 p
leitav
https://doi.org/10.48550/arXiv.2512.17484
märksõna
konteinerid
tuletised (matemaatika)
vormimärksõna
preprindid
märkused
Bibliogr. p. 32-34
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
6.7
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise