Nissim Francez. Lambek-Calculus with General Elimination Rules and Continuation Semantics. In Philippe Blache, Edward P. Stabler, Joan Busquets, Richard Moot, editors, Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings. Volume 3492 of Lecture Notes in Computer Science, pages 101-113, Springer, 2005. [doi]
Abstract is missing.