The sequent calculus of skew monoidal categories

vastutusandmed
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
allikas
The interplay of mathematics, logic, and linguistics
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 377-406
seeria-sari
Outstanding contributions to logic ; 20
ISSN
2211-2758
2211-2766
ISBN
978-3-030-66544-9
978-3-030-66545-6 (eBook)
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
Uustalu, T., Veltri, N., Zeilberger, N. The sequent calculus of skew monoidal categories // The interplay of mathematics, logic, and linguistics. Cham : Springer Nature, 2021. p. 377-406. (Outstanding contributions to logic ; 20). https://doi.org/10.1007/978-3-030-66545-6_11