The sequent calculus of skew monoidal categories
statement of authorship
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
source
The interplay of mathematics, logic, and linguistics
location of publication
Cham
publisher
year of publication
pages
p. 377-406
series
Outstanding contributions to logic ; 20
subject term
ISSN
2211-2758
2211-2766
ISBN
978-3-030-66544-9
978-3-030-66545-6 (eBook)
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
Uustalu, T., Veltri, N., Zeilberger, N. The sequent calculus of skew monoidal categories // The interplay of mathematics, logic, and linguistics. Cham : Springer Nature Switzerland AG, 2021. p. 377-406. (Outstanding contributions to logic ; 20).