Effectful normal form bisimulation

DOI10.1007/978-3-030-17184-1_10zbMath1524.68081OpenAlexW2926408490MaRDI QIDQ6091306

Francesco Gavazzo, Ugo Dal Lago

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-17184-1_10

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ Unnamed Item

This page was built for publication: Effectful normal form bisimulation