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
Semi-substructural logics à la Lambek with symmetry
Wan, Cheng-Syuan
Bulletin of the section of logic
2026
/
p. 519-576 : ill
https://doi.org/10.18778/0138-0680.2025.17
https://www.scopus.com/sourceid/21100200425
https://www.scopus.com/pages/publications/105034189837?source=scival
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=B%20SECT%20LOGIC&year=2025
https://www.webofscience.com/wos/woscc/full-record/WOS:001734075100003