Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
author
Veltri, Niccolo
statement of authorship
Niccolò Veltri
source
Journal of logic and computation
publisher
Oxford University Press
journal volume number month
Vol. 00, 00
year of publication
2024
pages
art. exae059, 26 p
url
https://doi.org/10.1093/logcom/exae059
subject term
koherentsus
monoidid
arvutusmatemaatika
Agda (programmeerimiskeel)
programmeerimiskeeled
keyword
coherence
symmetric skew monoidal categories
symmetric skew closed categories
focused sequent calculus
substructural logic
Agda
notes
Bibliogr.: 43 ref
scientific publication
teaduspublikatsioon
classifier
1.1
TalTech department
tarkvarateaduse instituut
language
inglise