Derivatives for Containers in Univalent Foundations
vastutusandmed
Philipp Joram and Niccolò Veltri
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
arXiv:2512.17484
ilmumisaasta
leheküljed
34 p
märkused
Bibliogr. p. 32-34
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
vormimärksõna
klassifikaator
TTÜ struktuuriüksus
Joram, P., Veltri, N. Derivatives for Containers in Univalent Foundations // arXiv.org (2025) arXiv:2512.17484, 34 p.