Differentials and distances in probabilistic coherence spaces

DOI10.4230/LIPICS.FSCD.2019.17MaRDI QIDQ5089018FDOQ5089018

Authors: Thomas Ehrhard 

Publication date: 18 July 2022

Recommendations

• Differentials and distances in probabilistic coherence spaces
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Probabilistic coherence spaces are fully abstract for probabilistic PCF
• Probabilistic call by push value
• Full abstraction for probabilistic PCF

zbMATH Keywords

denotational semanticsprobabilistic coherence spacesdifferentials of programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Towards a quantum programming language
• Execution time of λ-terms via denotational semantics and intersection types
• The differential lambda-calculus
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Title not available (Why is that?)
• Probabilistic game semantics
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Metric reasoning about \(\lambda\)-terms: the general case
• Title not available (Why is that?)
• A lambda-calculus foundation for universal probabilistic programming
• Full abstraction for probabilistic PCF
• Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
• Probabilistic stable functions on discrete cones are power series

Cited In (3)

• Coherent differentiation
• Zeta functions and the (linear) logic of Markov processes
• A coherent differential PCF

This page was built for publication: Differentials and distances in probabilistic coherence spaces

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