Arno Bastenhof. Extraction in the Lambek-Grishin Calculus. In Thomas Icard, Reinhard Muskens, editors, Interfaces: Explorations in Logic, Language and Computation, ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers. Volume 6211 of Lecture Notes in Computer Science, pages 57-71, Springer, 2009. [doi]
Abstract is missing.