scientific article; zbMATH DE number 7577566

MaRDI QIDQ5101335

Thomas Ehrhard

Publication date: 30 August 2022

Full work available at URL: https://arxiv.org/abs/2005.12582

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

zbMATH Keywords

denotational semanticsprobabilistic coherence spacesdifferentials of programsobservational equivalence and distances

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Uses Software

• QPL

Cites Work

• Unnamed Item
• 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
• Non-uniform (hyper/multi)coherence spaces
• 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
• The concurrent game semantics of Probabilistic PCF
• Probabilistic Stable Functions on Discrete Cones are Power Series
• Cones as a model of intuitionistic linear logic
• On phase semantics and denotational semantics: The exponentials

This page was built for publication: