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
notes
Bibliogr.: 43 ref
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
symmetric skew closed categories
substructural logic
classifier
TTÜ department
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.