TY - RPRT TI - Proof nets for the Lambek-Grishin calculus AU - Michael Moortgat AU - Richard Moot PY - 2011 UR - https://arxiv.org/abs/1112.6384 ID - 1112.6384 ER -