Differentials and distances in probabilistic coherence spaces

DOI10.4230/LIPICS.FSCD.2019.17MaRDI QIDQ5089018zbMATH OpenFDO

Authors Thomas Ehrhard

Publication date 18 July 2022

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2019.17

zbMATH Keywords

denotational semanticsdifferentials of programsprobabilistic coherence spaces

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(4)

• Differentials and distances in probabilistic coherence spaces
• Coherent differentiation
• A coherent differential PCF
• Zeta functions and the (linear) logic of Markov processes

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)