A bisimulation for dynamic sealing
From MaRDI portal
Publication:5899513
DOI10.1145/964001.964015zbMath1325.68050OpenAlexW1983077483MaRDI QIDQ5899513
Benjamin C. Pierce, Eijiro Sumii
Publication date: 11 November 2015
Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/964001.964015
Related Items
A Sound and Complete Bisimulation for Contextual Equivalence in $$\lambda $$ -Calculus with Call/cc ⋮ Program equivalence in a simple language with state ⋮ From Applicative to Environmental Bisimulation ⋮ Bisimulation and coinduction enhancements: a historical perspective