The Free Exponential Modality of Probabilistic Coherence Spaces

DOI10.1007/978-3-662-54458-7_2zbMath1486.03104OpenAlexW2614105559MaRDI QIDQ2988358

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

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

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

Related Items

Linear logic in normed cones: probabilistic coherence spaces and beyond, Unnamed Item, A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces, A coherent differential PCF, On Banach spaces of sequences and free linear logic exponential modality

Cites Work

• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Linear logic
• Exponentials with Infinite Multiplicities
• An Explicit Formula for the Free Exponential Modality of Linear Logic
• Modelling Coeffects in the Relational Semantics of Linear Logic
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• Unnamed Item
• Unnamed Item
• Unnamed Item