Sharon Shoham Nissim Francez Game Semantics for the Lambek-Calculus: Capturing Directionality and the Absence of Structural Rules. 161-188 2008 90 Studia Logica 2 http://dx.doi.org/10.1007/s11225-008-9148-z db/journals/sLogica/sLogica90.html#ShohamF08