Pages that link to "Item:Q550253"
From MaRDI portal
The following pages link to Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253):
Displaying 29 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- The Free Exponential Modality of Probabilistic Coherence Spaces (Q2988358) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
- On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
- (Q4611384) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
- (Q5015215) (← links)
- (Q5018484) (← links)
- (Q5028444) (← links)
- (Q5028454) (← links)
- Linear logic in normed cones: probabilistic coherence spaces and beyond (Q5076387) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- (Q5079739) (← links)
- (Q5079740) (← links)
- (Q5089018) (← links)
- (Q5101335) (← links)
- A deterministic rewrite system for the probabilistic λ-calculus (Q5108532) (← links)
- (Q5140265) (← links)
- (Q5227520) (← links)
- Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)
- A coherent differential PCF (Q6178673) (← links)
