Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
autor
vastutusandmed
Niccolò Veltri
allikas
kirjastus/väljaandja
ajakirja aastakäik number kuu
Vol. 00, 00
ilmumisaasta
leheküljed
art. exae059, 26 p
märkused
Bibliogr.: 43 ref
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
symmetric skew closed categories
substructural logic
klassifikaator
TTÜ struktuuriüksus
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.