The Tensor Product in Wadler s Analysis of Lists

Flemming Nielson, Hanne Riis Nielson. The Tensor Product in Wadler s Analysis of Lists. In Bernd Krieg-Brückner, editor, ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Volume 582 of Lecture Notes in Computer Science, pages 351-370, Springer, 1992.

@inproceedings{NielsonN92:0,
  title = {The Tensor Product in Wadler s Analysis of Lists},
  author = {Flemming Nielson and Hanne Riis Nielson},
  year = {1992},
  tags = {analysis},
  researchr = {https://researchr.org/publication/NielsonN92%3A0},
  cites = {0},
  citedby = {0},
  pages = {351-370},
  booktitle = {ESOP  92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings},
  editor = {Bernd Krieg-Brückner},
  volume = {582},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55253-7},
}