The Computational Meaning of Probabilistic Coherence Spaces

Thomas Ehrhard, Michele Pagani, Christine Tasson. The Computational Meaning of Probabilistic Coherence Spaces. In Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. pages 87-96, IEEE Computer Society, 2011. [doi]

@inproceedings{EhrhardPT11,
  title = {The Computational Meaning of Probabilistic Coherence Spaces},
  author = {Thomas Ehrhard and Michele Pagani and Christine Tasson},
  year = {2011},
  doi = {10.1109/LICS.2011.29},
  url = {http://dx.doi.org/10.1109/LICS.2011.29},
  researchr = {https://researchr.org/publication/EhrhardPT11},
  cites = {0},
  citedby = {0},
  pages = {87-96},
  booktitle = {Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4412-0},
}