Person. Valeria de Paiva Principal Research Scientist · Topos Institute · vcvpaiva.github.io · vcvpaiva Papers On the Lambek Calculus with an Exchange Modality depaiva-eades-jiang-2019-lambek-exchangeEPTCS · 2019 DOI · arXiv Dialectica Categories for the Lambek Calculus depaiva2018-dialectica-lambekLFCS · 2018 DOI · arXiv