Learning Lambek grammars from proof frames

Open in new window