scientific article; zbMATH DE number 7003198
From MaRDI portal
Publication:4611384
DOI10.23638/LMCS-15(1:3)2019MaRDI QIDQ4611384
Thomas Ehrhard, Christine Tasson
Publication date: 18 January 2019
Full work available at URL: https://arxiv.org/abs/1607.04690
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Taylor expansion, finiteness and strategies ⋮ A higher-order language for Markov kernels and linear operators ⋮ Polarized subtyping ⋮ A coherent differential PCF ⋮ Unnamed Item ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Towards a quantum domain theory: order-enrichment and fixpoints in \(W^*\)-algebras
- Semantic domains for combining probability and non-determinism
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Linear logic
- CPO's of measures for nondeterminism
- LCF considered as a programming language
- A monad for randomized algorithms
- The differential lambda-calculus
- Call-By-Push-Value from a Linear Logic Point of View
- Adjunction Models For Call-By-Push-Value With Stacks
- The algebraic lambda calculus
- A new constructive logic: classic logic
- Full Abstraction for Probabilistic PCF
- Semantics for probabilistic programming
- Probabilistic coherence spaces are fully abstract for probabilistic PCF
- Computational adequacy via ‘mixed’ inductive definitions
This page was built for publication:
