Effectful normal form bisimulation

DOI10.1007/978-3-030-17184-1_10MaRDI QIDQ6091306zbMATH OpenOpenAlexFDO

Authors Ugo Dal Lago, Francesco Gavazzo

Publication date 24 November 2023

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

Copyright license Creative Commons Attribution 4.0 International

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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Typed Normal Form Bisimulation
• Proving soundness of extensional normal-form bisimilarities
• Proving soundness of extensional normal-form bisimilarities
• Effectful applicative bisimilarity: monads, relators, and Howe's method
• Normal form bisimulations for delimited-control operators

Cited in

(8)

• Proving soundness of extensional normal-form bisimilarities
• scientific article; zbMATH DE number 7453165 (Why is no real title available?)
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• A fibrational tale of operational logical relations: pure, effectful and differential
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• A complete normal-form bisimilarity for algebraic effects and handlers
• Intersection types for a computational lambda-calculus with global state
• Interaction improvement

This page was built for publication: Effectful normal form bisimulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6091306)