The following pages link to Probabilistic game semantics (Q5738959):
Displayed 23 items.
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases (Q478400) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Game semantics for dependent types (Q1641014) (← links)
- Information flow for Algol-like languages (Q1869976) (← links)
- Continuous probability distributions in concurrent games (Q2134837) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- Game Semantics for Quantum Data (Q2825342) (← links)
- On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) (Q2825348) (← links)
- Definability and Full Abstraction (Q2864154) (← links)
- On a Fully Abstract Model for a Quantum Linear Functional Language (Q2870212) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- From Qualitative to Quantitative Semantics (Q2988359) (← links)
- (Q3384159) (← links)
- On Applicative Similarity, Sequentiality, and Full Abstraction (Q3449626) (← links)
- (Q5018491) (← links)
- The geometry of Bayesian programming (Q5076392) (← links)
- (Q5079740) (← links)
- (Q5089018) (← links)
- (Q5089025) (← links)
- (Q5129945) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- Game Semantics for Quantum Stores (Q5415636) (← links)