TY  - RPRT
TI  - Learning Lambek grammars from proof frames
AU  - Roberto Bonato
AU  - Christian Retoré
PY  - 2013
UR  - https://arxiv.org/abs/1310.0576
ID  - 1310.0576
ER  -