scientific article; zbMATH DE number 7285577
From MaRDI portal
Publication:5140265
Publication date: 15 December 2020
Full work available at URL: https://arxiv.org/abs/1607.04332
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Full abstraction for non-deterministic and probabilistic extensions of PCF. I: The angelic cases
- Probabilities, distribution monads, and convex categories
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Algebraically compact functors
- LCF considered as a programming language
- Recursive data types in algebraically \(\omega\)-complete categories
- Complete positivity and natural representation of quantum computations
- Introduction to Coalgebra
- From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
- States of Convex Sets
- Axiomatic Domain Theory in Categories of Partial Maps
- Full Abstraction for Probabilistic PCF
- Probabilistic coherence spaces are fully abstract for probabilistic PCF
- Generic Trace Semantics via Coinduction
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Lawvere Categories as Composed PROPs
This page was built for publication:
