Metric reasoning about λ-terms: The affine case

DOI10.1109/LICS.2015.64zbMath1394.03026arXiv1505.03638OpenAlexW1483535695MaRDI QIDQ4635842

Raphaëlle Crubillé, Ugo Dal Lago

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (5)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ 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 ⋮ Differential logical relations, Part I: The simply-typed case

This page was built for publication: Metric reasoning about λ-terms: The affine case