Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories

vastutusandmed
Niccolò Veltri
kirjastus/väljaandja
ajakirja aastakäik number kuu
Vol. 00, 00
ilmumisaasta
leheküljed
art. exae059, 26 p
võtmesõna
symmetric skew closed categories
substructural logic
märkused
Bibliogr.: 43 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
TTÜ struktuuriüksus
keel
inglise