Deductive systems and coherence for skew prounital closed categories
statement of authorship
Tarmo Uustalu, Niccolo Veltri, Noam Zeilberger
publisher
year of publication
pages
p. 1-19
conference name, date
3rd Annual International Applied Category Theory Conference 2020, July 6-10 2020
conference location
Virtual Conference
subject term
WOS
kvartiil
category (general)
category (sub)
notes
Ilmus arxiv.org
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
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.