Differentials and distances in probabilistic coherence spaces

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

Authors Thomas Ehrhard

Publication date 18 July 2022

zbMATH Keywords

denotational semanticsprobabilistic coherence spacesdifferentials of programs

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

• scientific article; zbMATH DE number 6712178 (Why is no real title available?)
• scientific article; zbMATH DE number 2134919 (Why is no real title available?)
• 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
• Metric reasoning about \(\lambda\)-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

(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)