Behavioural equivalence via modalities for algebraic effects

DOI10.1007/978-3-319-89884-1_11zbMath1418.68066arXiv1904.08843OpenAlexW2797640271MaRDI QIDQ2323978

Niels Voorneveld, Alex K. Simpson

Publication date: 13 September 2019

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

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 ⋮ Streams of approximations, equivalence of recursive effectful programs ⋮ Runners for interleaving algebraic effects ⋮ Unnamed Item ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ Unnamed Item

This page was built for publication: Behavioural equivalence via modalities for algebraic effects