Probabilistic coherence spaces as a model of higher-order probabilistic computation
From MaRDI portal
Publication:550253
DOI10.1016/J.IC.2011.02.001zbMATH Open1267.68085OpenAlexW2102548545MaRDI QIDQ550253FDOQ550253
Authors: Vincent Danos, Thomas Ehrhard 
Publication date: 8 July 2011
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.02.001
Recommendations
Theory of programming languages (68N15) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)
Cites Work
- LCF considered as a programming language
- On full abstraction for PCF: I, II and III
- Towards a quantum programming language
- Linear logic
- The system \({\mathcal F}\) of variable types, fifteen years later
- Title not available (Why is that?)
- Not Enough Points Is Enough
- Title not available (Why is that?)
- Differential interaction nets
- A Powerdomain Construction
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- Title not available (Why is that?)
- Normal functors, power series and \(\lambda\)-calculus
- Finiteness spaces
- Title not available (Why is that?)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- Localisation and interaction in one dimension
- On Köthe sequence spaces and linear logic
- Title not available (Why is that?)
- Probabilistic game semantics
- Probabilistic -calculus and Quantitative Program Analysis
- Sequential algorithms on concrete data structures
- Title not available (Why is that?)
- On Linear Combinations of λ-Terms
- CPO's of measures for nondeterminism
- Coherent Banach spaces: A continuous denotational semantics
Cited In (35)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Banach spaces of sequences and free linear logic exponential modality
- Stabilized profunctors and stable species of structures
- QPCF: higher-order languages and quantum circuits
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- The Scott model of linear logic is the extensional collapse of its relational model
- Title not available (Why is that?)
- Title not available (Why is that?)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
- Semantics of quantum programming languages: Classical control, quantum control
- Title not available (Why is that?)
- Zeta functions and the (linear) logic of Markov processes
- Title not available (Why is that?)
- Taylor expansion, finiteness and strategies
- Title not available (Why is that?)
- A coherent differential PCF
- Deep inference and probabilistic coherence spaces
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- (Towards a) statistical probabilistic lazy lambda calculus
- A deterministic rewrite system for the probabilistic λ-calculus
- Non-linearity as the Metric Completion of Linearity
- Observed Communication Semantics for Classical Processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantics of higher-order quantum computation via geometry of interaction
- The Free Exponential Modality of Probabilistic Coherence Spaces
- A higher-order language for Markov kernels and linear operators
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- Call-By-Push-Value from a Linear Logic Point of View
- Multinomial and hypergeometric distributions in Markov categories
- Mackey-complete spaces and power series – a topological model of differential linear logic
- The geometry of Bayesian programming
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Probabilistic coherence spaces as a model of higher-order probabilistic computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q550253)
