@techreport{biernacki:hal-00926100, TITLE = {{Sound and Complete 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-00926100}, TYPE = {Research Report}, NUMBER = {RR-8447}, INSTITUTION = {{INRIA}}, YEAR = {2014}, MONTH = Jan, KEYWORDS = {Applicative bisimilarity ; lambda-mu calculus ; call-by-name ; call-by-value}, PDF = {https://inria.hal.science/hal-00926100v2/file/RR-8447.pdf}, HAL_ID = {hal-00926100}, HAL_VERSION = {v2}, }