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
WOS
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
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