@article{biernacki:hal-02086527, TITLE = {{Proving Soundness of Extensional Normal-Form Bisimilarities}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i} and Polesiuk, Piotr}, URL = {https://inria.hal.science/hal-02086527}, JOURNAL = {{Logical Methods in Computer Science}}, PUBLISHER = {{Logical Methods in Computer Science Association}}, VOLUME = {15}, NUMBER = {1}, PAGES = {31:1-31:24}, YEAR = {2019}, MONTH = Mar, DOI = {10.23638/LMCS-15(1:31)2019}, KEYWORDS = {Eta-expansion ; Normal-form bisimulations ; lambda calculus ; Bisimulation up to context ; Control operators ; Congruence}, HAL_ID = {hal-02086527}, HAL_VERSION = {v1}, }