Tikhon Pshenitsyn. Lambek Calculus with Optional Divisions. In Alexandra Pavlova, Mina Young Pedersen, Raffaella Bernardi, editors, Selected Reflections in Language, Logic, and Information - ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers. Volume 14354 of Lecture Notes in Computer Science, pages 187-202, Springer, 2021. [doi]
Abstract is missing.