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

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

This page was built for publication: Probabilistic coherence spaces as a model of higher-order probabilistic computation