Proving soundness of extensional normal-form bisimilarities

DOI10.1016/j.entcs.2018.03.015WikidataQ113317565 ScholiaQ113317565MaRDI QIDQ2130582

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Publication date: 25 April 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.03.015

zbMATH Keywords

congruence; \(\lambda\)-calculus; control operators; \(\eta\)-expansion; bisimulation up to context; normal-form bisimulations

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Uses Software

• Coq