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
ISSN
1571-0661
märkused
Bibliogr.: 18 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
skew monoidal categories
nonstandard sequent forms
cut admissibility
klassifikaator
WOS
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
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.