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

DOI10.1016/j.ic.2011.02.001zbMath1267.68085OpenAlexW2102548545MaRDI QIDQ550253

Thomas Ehrhard, Vincent Danos

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

zbMATH Keywords

linear logicdenotational semanticslambda-calculusPCFprobabilistic models

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Taylor expansion, finiteness and strategies, Non-linearity as the Metric Completion of Linearity, Semantics of higher-order quantum computation via geometry of interaction, Linear logic in normed cones: probabilistic coherence spaces and beyond, The geometry of Bayesian programming, Unnamed Item, Semantics of quantum programming languages: Classical control, quantum control, A higher-order language for Markov kernels and linear operators, A deterministic rewrite system for the probabilistic λ-calculus, 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, A coherent differential PCF, Mackey-complete spaces and power series – a topological model of differential linear logic, On Banach spaces of sequences and free linear logic exponential modality, Unnamed Item, Unnamed Item, Deep inference and probabilistic coherence spaces, The Free Exponential Modality of Probabilistic Coherence Spaces, Observed Communication Semantics for Classical Processes, Unnamed Item, Unnamed Item, Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Call-By-Push-Value from a Linear Logic Point of View, Unnamed Item, Unnamed Item, QPCF: higher-order languages and quantum circuits

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Differential interaction nets
• The system \({\mathcal F}\) of variable types, fifteen years later
• Normal functors, power series and \(\lambda\)-calculus
• CPO's of measures for nondeterminism
• Sequential algorithms on concrete data structures
• LCF considered as a programming language
• Coherent Banach spaces: A continuous denotational semantics
• On full abstraction for PCF: I, II and III
• Probabilistic  -calculus and Quantitative Program Analysis
• A Relational Model of a Parallel and Non-deterministic λ-Calculus
• Not Enough Points Is Enough
• A Powerdomain Construction
• Localisation and interaction in one dimension
• On Köthe sequence spaces and linear logic
• Towards a quantum programming language
• On Linear Combinations of λ-Terms
• Finiteness spaces
• Probabilistic game semantics