Computing with subspaces

Sergio Antoy, Bernd Braßel. Computing with subspaces. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 121-130, ACM, 2007. [doi]

@inproceedings{AntoyB07,
  title = {Computing with subspaces},
  author = {Sergio Antoy and Bernd Braßel},
  year = {2007},
  doi = {10.1145/1273920.1273936},
  url = {http://doi.acm.org/10.1145/1273920.1273936},
  researchr = {https://researchr.org/publication/AntoyB07},
  cites = {0},
  citedby = {0},
  pages = {121-130},
  booktitle = {Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland},
  editor = {Michael Leuschel and Andreas Podelski},
  publisher = {ACM},
  isbn = {978-1-59593-769-8},
}