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. 35, 6
ilmumisaasta
leheküljed
art. exae059
võtmesõna
symmetric skew closed categories
substructural logic
ISSN
1465-363X
0955-792X
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
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.