@inproceedings{biernacki:hal-01650000, TITLE = {{Proving Soundness of Extensional Normal-Form Bisimilarities}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-01650000}, BOOKTITLE = {{Mathematical Foundations of Programming Semantics XXXIII}}, ADDRESS = {Ljubljana, Slovenia}, YEAR = {2017}, MONTH = Jun, DOI = {10.1016/j.entcs.2018.03.015}, KEYWORDS = {lambda calculus ; normal-form bisimulations ; eta-expansion ; congruence ; bisimulation up to context ; control operators}, PDF = {https://inria.hal.science/hal-01650000/file/mfps.pdf}, HAL_ID = {hal-01650000}, HAL_VERSION = {v1}, }