Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
author
statement of authorship
Niccolò Veltri
publisher
journal volume number month
Vol. 00, 00
year of publication
pages
art. exae059, 26 p
subject term
keyword
symmetric skew closed categories
substructural logic
notes
Bibliogr.: 43 ref
scientific publication
teaduspublikatsioon
classifier
TalTech department
language
inglise
Veltri, N. Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories // Journal of logic and computation (2024) Vol. 00, 00, art. exae059, 26 p.