@inproceedings{biernacki:hal-01080960, TITLE = {{Applicative Bisimilarities for Call-by-Name and Call-by-Value $\lambda$$\mu$-Calculus}}, AUTHOR = {Biernacki, Dariusz and Lenglet, Sergue{\"i}}, URL = {https://inria.hal.science/hal-01080960}, BOOKTITLE = {{Mathematical Foundations of Programming Semantics Thirtieth Conference}}, ADDRESS = {Ithaca, United States}, PUBLISHER = {{Elsevier}}, VOLUME = {308}, PAGES = {49 - 64}, YEAR = {2014}, MONTH = Jun, DOI = {10.1016/j.entcs.2014.10.004}, KEYWORDS = {contextual equivalence ; applicative bisimulation ; continuation ; control operator}, PDF = {https://inria.hal.science/hal-01080960/file/lambdamuentcs.pdf}, HAL_ID = {hal-01080960}, HAL_VERSION = {v1}, }