Proof theory of partially normal skew monoidal categories
Uustalu, Tarmo
;
Veltri, Niccolo
;
Zeilberger, Noam
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 1-17
https://doi.org/10.48550/arXiv.2101.10487
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85101268643&origin=inward&txGid=3b643d8f15203d885507ba2ca79e8b59
https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200016