The sequent calculus of skew monoidal categories

vastutusandmed
Tarmo Uustalu,Niccolò Veltri, Noam Zeilberger
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 341, 1
ilmumisaasta
leheküljed
p. 345-370
võtmesõna
skew monoidal categories
nonstandard sequent forms
cut admissibility
ISSN
1571-0661
märkused
Bibliogr.: 18 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
kategooria (üld)
kvartiil
Q2
TTÜ struktuuriüksus
keel
inglise
Uustalu, T., Veltri, N., Zeilberger, N. The sequent calculus of skew monoidal categories // Electronic notes in theoretical computer science (2018) vol. 341, 1, p. 345-370. https://doi.org/10.1016/j.entcs.2018.11.017