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

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

• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• The free exponential modality of probabilistic coherence spaces
• Full abstraction for probabilistic PCF
• Probabilistic call by push value
• On quantum and probabilistic linear lambda-calculi (extended abstract)

zbMATH Keywords

linear logicPCFdenotational semanticslambda-calculusprobabilistic models

Mathematics Subject Classification ID

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 (40)

• 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?)
• Semantics of quantum programming languages: Classical control, quantum control
• Title not available (Why is that?)
• Mackey-complete spaces and power series -- a topological model of differential linear logic
• Full abstraction for probabilistic PCF
• Probabilistic call by push value
• Zeta functions and the (linear) logic of Markov processes
• Taylor expansion, finiteness and strategies
• A coherent differential PCF
• Probabilistic stable functions on discrete cones are power series
• The free exponential modality of probabilistic coherence spaces
• Deep inference and probabilistic coherence spaces
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• (Towards a) statistical probabilistic lazy lambda calculus
• The bang calculus and the two Girard's translations
• Cones as a model of intuitionistic linear logic
• Observed Communication Semantics for Classical Processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• Semantics of higher-order quantum computation via geometry of interaction
• A higher-order language for Markov kernels and linear operators
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion: \textit{a minimalist approach}
• Call-By-Push-Value from a Linear Logic Point of View
• Geometry of resource interaction -- \textit{a minimalist approach}
• Multinomial and hypergeometric distributions in Markov categories
• On quantum and probabilistic linear lambda-calculi (extended abstract)
• Convexity and order in probabilistic call-by-name FPC
• Non-linearity as the metric completion of linearity
• A deterministic rewrite system for the probabilistic \(\lambda\)-calculus
• The geometry of Bayesian programming
• 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)