@inproceedings{Ehrhard_2011,
doi = {10.1109/lics.2011.29},
url = {https://doi.org/10.1109%2Flics.2011.29},
year = {2011},
month = {jun},
publisher = {{IEEE}},
author = {Thomas Ehrhard and Michele Pagani and Christine Tasson},
title = {The Computational Meaning of Probabilistic Coherence Spaces},
booktitle = {2011 {IEEE} 26th Annual Symposium on Logic in Computer Science}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A