Integration in cones
From MaRDI portal
Cites work
- A new constructive logic: classic logic
- Call-By-Push-Value from a Linear Logic Point of View
- Categorical semantics of linear logic
- Classical logic, storage operators and second-order lambda-calculus
- Coherent differentiation
- Cones as a model of intuitionistic linear logic
- Differentials and distances in probabilistic coherence spaces
- Full abstraction for probabilistic PCF
- scientific article; zbMATH DE number 3594646 (Why is no real title available?)
- scientific article; zbMATH DE number 1531379 (Why is no real title available?)
- scientific article; zbMATH DE number 2134919 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- On integration in vector spaces.
- On the Composition of Completely Monotonic Functions and Completely Monotonic Sequences and Related Questions
- On the non-sequential nature of the interval-domain model of real-number computation
- Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
- Probabilistic call by push value
- Probabilistic coherence spaces are fully abstract for probabilistic PCF
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Probabilistic stable functions on discrete cones are power series
- Random measures, theory and applications
- Semantics of probabilistic programs
- Sur la définition et les propriétś des fonctions analytiques d'une variable réelle.
- The system \({\mathcal F}\) of variable types, fifteen years later
This page was built for publication: Integration in cones
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034357)
