Learning Lambek Grammars from Proof Frames

Roberto Bonato, Christian Retoré. Learning Lambek Grammars from Proof Frames. In Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott, editors, Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Volume 8222 of Lecture Notes in Computer Science, pages 108-135, Springer, 2014. [doi]

@inproceedings{BonatoR14,
  title = {Learning Lambek Grammars from Proof Frames},
  author = {Roberto Bonato and Christian Retoré},
  year = {2014},
  doi = {10.1007/978-3-642-54789-8_7},
  url = {http://dx.doi.org/10.1007/978-3-642-54789-8_7},
  researchr = {https://researchr.org/publication/BonatoR14},
  cites = {0},
  citedby = {0},
  pages = {108-135},
  booktitle = {Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday},
  editor = {Claudia Casadio and Bob Coecke and Michael Moortgat and Philip Scott},
  volume = {8222},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-54788-1},
}