Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
Veltri, Niccolo
Journal of logic and computation
2025
/
art. exae059
https://doi.org/10.1093/logcom/exae059
https://www.scopus.com/sourceid/25620
https://www.scopus.com/pages/publications/105011965648?origin=resultslist
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20COMPUT&year=2025
https://www.webofscience.com/wos/woscc/full-record/WOS:001335920600001
Coherence via focusing for symmetric skew monoidal categories
Veltri, Niccolo
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
2021
/
p. 184-200
https://doi.org/10.1007/978-3-030-88853-4_12
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85117482051&origin=inward&txGid=26701c4376c40303ee23cb27b193b556
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000876648000012