The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Thomas Ehrhard, Christine Tasson, Michele Pagani
Search publications for: doi:10.1145/2535838.2535865 1 result
Probabilistic coherence spaces are fully abstract for probabilistic PCF
Thomas Ehrhard, Christine Tasson, Michele Pagani