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
subject term
keyword
skew monoidal categories
nonstandard sequent forms
cut admissibility
ISSN
1571-0661
notes
Bibliogr.: 18 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
WOS
category (general)
kvartiil
TTÜ department
language
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