Dariusz Biernacki, Sergueï Lenglet. Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus.
Mathematical Foundations of Programming Semantics Thirtieth Conference, Jun 2014, Ithaca, United States. pp.49 - 64,
⟨10.1016/j.entcs.2014.10.004⟩.
⟨hal-01080960⟩