täiskirje prindi

Deductive systems and coherence for skew prounital closed categories

autor
vastutusandmed
Tarmo Uustalu, Niccolo Veltri, Noam Zeilberger
allikas
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 1-19
konverentsi nimetus, aeg
3rd Annual International Applied Category Theory Conference 2020, July 6-10 2020
konverentsi toimumispaik
Virtual Conference
leitav
märkused
Ilmus arxiv.org
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kategooria (üld)
kategooria (alam)
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
Uustalu, T., Veltri, N., Zeilberger, N. Deductive systems and coherence for skew prounital closed categories // Proceedings of the 3rd Annual International Applied Category Theory Conference 2020. : Cornell University, 2021. p. 1-19. https://doi.org/10.48550/arXiv.2101.03809