A definition of proof identity for BV via atomic flows enables a strengthened, sound notion of BV-categories.
Probabilistic coherence spaces as a model of higher-order probabilistic computation
2 Pith papers cite this work, alongside 57 external citations. Polarity classification is still indexing.
2
Pith papers citing it
57
external citations · Crossref
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 2years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
Logical families of stable and total profunctors are definable by MLL+MIX proof-nets.
citing papers explorer
-
Proof Identity and Categorical Models of BV
A definition of proof identity for BV via atomic flows enables a strengthened, sound notion of BV-categories.
-
Full Definability in a Profunctorial Model
Logical families of stable and total profunctors are definable by MLL+MIX proof-nets.