@article{Blute_2010,
doi = {10.1007/s10485-010-9241-0},
url = {https://doi.org/10.1007%2Fs10485-010-9241-0},
year = {2010},
month = {dec},
publisher = {Springer Science and Business Media {LLC}},
volume = {20},
number = {3},
pages = {209--228},
author = {Richard Blute and Prakash Panangaden and Sergey Slavnov},
title = {Deep Inference and Probabilistic Coherence Spaces},
journal = {Applied Categorical Structures}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A