Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
author
statement of authorship
Niccolò Veltri
publisher
journal volume number month
vol. 35, 6
year of publication
pages
art. exae059
ISSN
1465-363X
0955-792X
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
symmetric skew closed categories
substructural logic
classifier
TalTech department
Veltri, N. Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories // Journal of logic and computation (2025) vol. 35, 6, art. exae059.