• Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101209607&origin=inward&txGid=45c295cc30341949924cd0b96b4a6bdf https://www.webofscience.com/wos/woscc/full-record/WOS:001035994800003
• Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101219248&origin=inward&txGid=3db01346a374231e73bdbf13ee3e2a00 https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200021
• Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101207257&origin=inward&txGid=9eed95d5f0f7b038bc730d43c0ff9135 https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200005
• Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / 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