Fully abstract normal form bisimulation for call-by-value pcf

DOI10.1109/LICS56636.2023.10175778MaRDI QIDQ6851660zbMATH OpenFDO

Authors Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175778

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(2)

• Pushdown normal-form bisimulation: a nominal context-free approach to program equivalence
• Interaction improvement

This page was built for publication: Fully abstract normal form bisimulation for call-by-value pcf

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