Metric Reasoning About $$\lambda $$-Terms: The General Case
From MaRDI portal
Publication:2988646
DOI10.1007/978-3-662-54434-1_13zbMath1485.68058arXiv1701.05521OpenAlexW2595263283MaRDI QIDQ2988646
Ugo Dal Lago, Raphaëlle Crubillé
Publication date: 19 May 2017
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1701.05521
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)
Related Items (8)
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Differential logical relations. II: Increments and derivatives ⋮ SOS specifications for uniformly continuous operators ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Metric Reasoning About $$\lambda $$-Terms: The General Case ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Differential logical relations, Part I: The simply-typed case
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Probabilistic encryption
- LCF considered as a programming language
- A behavioural pseudometric for probabilistic transition systems
- Environmental bisimulations for probabilistic higher-order languages
- Probabilistic operational semantics for the lambda calculus
- On Equivalences, Metrics, and Polynomial Time
- Compositional Metric Reasoning with Probabilistic Process Calculi
- Step-Indexed Logical Relations for Probability
- Metric Reasoning About $$\lambda $$-Terms: The General Case
- On Applicative Similarity, Sequentiality, and Full Abstraction
- On the bisimulation proof method
- Metric reasoning about λ-terms: The affine case
- Stochastic lambda calculus and monads of probability distributions
- SOS specifications of probabilistic systems by uniformly continuous operators
- On coinductive equivalences for higher-order probabilistic functional programs
- Probabilistic coherence spaces are fully abstract for probabilistic PCF
- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
- Term Rewriting and Applications
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
This page was built for publication: Metric Reasoning About $$\lambda $$-Terms: The General Case
