Quantitative Behavioural Reasoning for Higher-order Effectful Programs

DOI10.1145/3209108.3209149zbMath1497.68092arXiv1801.09072OpenAlexW2798712453MaRDI QIDQ5145320

Francesco Gavazzo

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

algebraic effectsrelatorFuzzHowe's methodapplicative bisimilarityapplicative distanceapplicative similarity

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Quantales (06F07)

Related Items

On bisimilarity in lambda calculi with continuous probabilistic choice, Quantitative logics for equivalence of effectful programs, Combining algebraic effect descriptions using the tensor of complete lattices, Differential logical relations. II: Increments and derivatives, Kantorovich functors and characteristic logics for behavioural distances, Divergences on monads for relational program logics, A point-free perspective on lax extensions and predicate liftings, The syntactic side of autonomous categories enriched over generalised metric spaces, Unnamed Item, A quantified coalgebraic van Benthem theorem, Unnamed Item, Differential logical relations, Part I: The simply-typed case