Models for Polymorphic Lambek Calculus

Martin Emms. Models for Polymorphic Lambek Calculus. In Christian Retoré, editor, Logical Aspects of Computational Linguistics, First International Conference, LACL 96, Nancy, France, September 23-25, 1996, Selected Papers. Volume 1328 of Lecture Notes in Computer Science, pages 168-187, Springer, 1996. [doi]

@inproceedings{Emms96,
  title = {Models for Polymorphic Lambek Calculus},
  author = {Martin Emms},
  year = {1996},
  url = {http://link.springer.de/link/service/series/0558/bibs/1328/13280168.htm},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Emms96},
  cites = {0},
  citedby = {0},
  pages = {168-187},
  booktitle = {Logical Aspects of Computational Linguistics, First International Conference, LACL  96, Nancy, France, September 23-25, 1996, Selected Papers},
  editor = {Christian Retoré},
  volume = {1328},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63700-1},
}