scientific article; zbMATH DE number 7559283

DOI10.4230/LIPIcs.FSCD.2019.17MaRDI QIDQ5089018

Thomas Ehrhard

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

denotational semanticsprobabilistic coherence spacesdifferentials of programs

Mathematics Subject Classification ID

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

Related Items (2)

Coherent differentiation ⋮ A coherent differential PCF

Cites Work

• Unnamed Item
• Unnamed Item
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• The differential lambda-calculus
• A lambda-calculus foundation for universal probabilistic programming
• Metric Reasoning About $$\lambda $$-Terms: The General Case
• Full Abstraction for Probabilistic PCF
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Execution time of λ-terms via denotational semantics and intersection types
• Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
• Towards a quantum programming language
• Probabilistic Stable Functions on Discrete Cones are Power Series
• Probabilistic game semantics

This page was built for publication: