scientific article; zbMATH DE number 7297865
From MaRDI portal
Publication:5144664
zbMath1458.68130arXiv1704.04647MaRDI QIDQ5144664
Francesco Gavazzo, Paul Blain Levy, Ugo Dal Lago
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1704.04647
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (13)
A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ 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 ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Streams of approximations, equivalence of recursive effectful programs ⋮ Runners for interleaving algebraic effects ⋮ The untyped computational \(\lambda \)-calculus and its intersection type discipline ⋮ Unnamed Item ⋮ Complete trace models of state and control ⋮ Effectful applicative similarity for call-by-name lambda calculi ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ On reduction and normalization in the computational core
This page was built for publication:
