2 |
The sequent calculus of skew monoidal categories (extended version)
|
|
|
|
In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ; https://hal.archives-ouvertes.fr/hal-03031139 ; C. Casadio; P. J. Scott. Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, Springer, In press, Outstanding Contributions to Logic (2020)
|
|
BASE
|
|
Show details
|
|
|
|