Venue. LFCS Symposium on Logical Foundations of Computer Science · Conference · Springer 2018 Dialectica Categories for the Lambek Calculus depaiva2018-dialectica-lambekLFCS · 2018 DOI · arXiv