The sequent calculus of skew monoidal categories

statement of authorship
Tarmo Uustalu,Niccolò Veltri, Noam Zeilberger
publisher
journal volume number month
vol. 341, 1
year of publication
pages
p. 345-370
keyword
skew monoidal categories
nonstandard sequent forms
cut admissibility
ISSN
1571-0661
notes
Bibliogr.: 18 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
category (general)
kvartiil
Q2
TTÜ department
language
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