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
kvartiil
Q3
category (general)
category (sub)
notes
Ilmus arxiv.org
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
language
inglise
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