TY - RPRT TI - Focalization and phase models for classical extensions of non-associative Lambek calculus AU - Arno Bastenhof PY - 2011 UR - https://arxiv.org/abs/1106.0399 ID - 1106.0399 ER -