Probabilistic coherence spaces as a model of higher-order probabilistic computation
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4172924 (Why is no real title available?)
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 3889501 (Why is no real title available?)
- scientific article; zbMATH DE number 1229489 (Why is no real title available?)
- scientific article; zbMATH DE number 1499102 (Why is no real title available?)
- scientific article; zbMATH DE number 2134919 (Why is no real title available?)
- *-autonomous categories. With an appendix by Po-Hsiang Chu
- A Powerdomain Construction
- A Relational Model of a Parallel and Non-deterministic λ-Calculus
- CPO's of measures for nondeterminism
- Coherent Banach spaces: A continuous denotational semantics
- Differential interaction nets
- Finiteness spaces
- LCF considered as a programming language
- Linear logic
- Localisation and interaction in one dimension
- Normal functors, power series and -calculus
- Not Enough Points Is Enough
- On Köthe sequence spaces and linear logic
- On Linear Combinations of λ-Terms
- On full abstraction for PCF: I, II and III
- Probabilistic game semantics
- Probabilistic -calculus and Quantitative Program Analysis
- Sequential algorithms on concrete data structures
- The system \({\mathcal F}\) of variable types, fifteen years later
- Towards a quantum programming language
Cited in
(41)- scientific article; zbMATH DE number 7559283 (Why is no real title available?)
- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- QPCF: higher-order languages and quantum circuits
- On Banach spaces of sequences and free linear logic exponential modality
- The Scott model of linear logic is the extensional collapse of its relational model
- Stabilized profunctors and stable species of structures
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- scientific article; zbMATH DE number 7577566 (Why is no real title available?)
- Semantics of quantum programming languages: Classical control, quantum control
- scientific article; zbMATH DE number 7533341 (Why is no real title available?)
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Full abstraction for probabilistic PCF
- Probabilistic call by push value
- Taylor expansion, finiteness and strategies
- Zeta functions and the (linear) logic of Markov processes
- Deep inference and probabilistic coherence spaces
- The free exponential modality of probabilistic coherence spaces
- Probabilistic stable functions on discrete cones are power series
- A coherent differential PCF
- 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
- scientific article; zbMATH DE number 7471690 (Why is no real title available?)
- scientific article; zbMATH DE number 7533340 (Why is no real title available?)
- 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
- Call-By-Push-Value from a Linear Logic Point of View
- 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}
- Geometry of resource interaction -- \textit{a minimalist approach}
- Strong adequacy and untyped full-abstraction for probabilistic coherence spaces
- 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
- scientific article; zbMATH DE number 7471682 (Why is no real title available?)
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)
