On Mixing Deduction and Substitution in Lambek Categorial Grammars

Annie Foret. On Mixing Deduction and Substitution in Lambek Categorial Grammars. In Philippe de Groote, Glyn Morrill, Christian Retoré, editors, Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings. Volume 2099 of Lecture Notes in Computer Science, pages 158-174, Springer, 2001. [doi]

@inproceedings{Foret01,
  title = {On Mixing Deduction and Substitution in Lambek Categorial Grammars},
  author = {Annie Foret},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2099/20990158.htm},
  tags = {grammar},
  researchr = {https://researchr.org/publication/Foret01},
  cites = {0},
  citedby = {0},
  pages = {158-174},
  booktitle = {Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings},
  editor = {Philippe de Groote and Glyn Morrill and Christian Retoré},
  volume = {2099},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42273-0},
}