Differential logical relations, Part I: The simply-typed case

DOI10.4230/LIPIcs.ICALP.2019.111OpenAlexW2965648770MaRDI QIDQ5091273

Francesco Gavazzo, Ugo Dal Lago, Akira Yoshimizu

Publication date: 21 July 2022

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

zbMATH Keywords

semantics\(\lambda\)-calculuslogical relationsprogram equivalence

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (1)

Differential logical relations. II: Increments and derivatives

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metrics for labelled Markov processes
• Metric interpretations of infinite trees and semantics of non deterministic recursive programs
• Denotational semantics in the cpo and metric approach
• A behavioural pseudometric for probabilistic transition systems
• Change actions: models of generalised differentiation
• Monoidal Topology
• Metric Reasoning About $$\lambda $$-Terms: The General Case
• Partial Metric Spaces
• Generalized Bisimulation Metrics
• Abstract Interpretation, Logical Relations, and Kan Extensions
• Metric spaces, generalized logic, and closed categories
• Metric reasoning about λ-terms: The affine case
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs
• Distance makes the types grow stronger
• A semantic account of metric preservation
• An introduction to metric semantics: Operational and denotational models for programming and specification languages

This page was built for publication: Differential logical relations, Part I: The simply-typed case