The free exponential modality of probabilistic coherence spaces

DOI10.1007/978-3-662-54458-7_2MaRDI QIDQ2988358zbMATH OpenOpenAlexFDO

Authors Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson

Publication date 19 May 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54458-7_2

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Recommendations

• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• An explicit formula for the free exponential modality of linear logic
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• On Banach spaces of sequences and free linear logic exponential modality

Cites work

• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Categorical semantics of linear logic
• Exponentials with infinite multiplicities
• scientific article; zbMATH DE number 2134919 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• Linear logic
• Modelling coeffects in the relational semantics of linear logic
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• Probabilistic coherence spaces as a model of higher-order probabilistic computation

Cited in

(16)

• Strong adequacy and untyped full-abstraction for probabilistic coherence spaces
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• An explicit formula for the free exponential modality of linear logic
• On Banach spaces of sequences and free linear logic exponential modality
• Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• Cones as a model of intuitionistic linear logic
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• scientific article; zbMATH DE number 7774245 (Why is no real title available?)
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
• A coherent differential PCF
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
• Element-free probability distributions and random partitions
• Coherent Taylor expansion as a bimonad
• From differential linear logic to coherent differentiation
• Double glueing over free exponential: with measure theoretic applications

This page was built for publication: The free exponential modality of probabilistic coherence spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2988358)