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