TY - RPRT TI - Comparing and evaluating extended Lambek calculi AU - Richard Moot PY - 2015 UR - https://arxiv.org/abs/1506.05561 ID - 1506.05561 ER -