Probabilistic coherence spaces as a model of higher-order probabilistic computation

Vincent Danos, Thomas Ehrhard · 2011 · Information and Computation · DOI 10.1016/j.ic.2011.02.001

2 Pith papers cite this work, alongside 57 external citations. Polarity classification is still indexing.

2 Pith papers citing it

57 external citations · Crossref

open at publisher browse 2 citing papers

citation-role summary

background 1

background 1

cs.LO · 2026-04-28 · unverdicted · novelty 7.0

A definition of proof identity for BV via atomic flows enables a strengthened, sound notion of BV-categories.

cs.LO · 2026-04-29 · unverdicted · novelty 4.0

Logical families of stable and total profunctors are definable by MLL+MIX proof-nets.

Showing 2 of 2 citing papers.

Proof Identity and Categorical Models of BV cs.LO · 2026-04-28 · unverdicted · none · ref 1
A definition of proof identity for BV via atomic flows enables a strengthened, sound notion of BV-categories.
Full Definability in a Profunctorial Model cs.LO · 2026-04-29 · unverdicted · none · ref 6
Logical families of stable and total profunctors are definable by MLL+MIX proof-nets.