Derivatives for Containers in Univalent Foundations
author
statement of authorship
Philipp Joram and Niccolò Veltri
source
publisher
journal volume number month
arXiv:2512.17484
year of publication
pages
34 p
notes
Bibliogr. p. 32-34
scientific publication
teaduspublikatsioon
language
inglise
subject term
subject of form
classifier
TalTech department
Joram, P., Veltri, N. Derivatives for Containers in Univalent Foundations // arXiv.org (2025) arXiv:2512.17484, 34 p.