Behavioural equivalence via modalities for algebraic effects
From MaRDI portal
Publication:2323978
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
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