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
notes
Ilmus arxiv.org
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
WOS
quartile
classifier
category (general)
category (sub)
Reserch Group
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.