| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
Abstract : We propose the first sound and complete bisimilarities for the call-by-name and call-by-value untyped λµ-calculus, defined in the applicative style. We give equivalence examples to illustrate how our relations can be used; in particular, we prove David and Py's counter-example, which cannot be proved with Lassen's preexisting normal form bisimilarities for the λµ-calculus.
Cited literature [19 references]
https://hal.inria.fr/hal-01080960
Contributor : Sergueï Lenglet <>
Submitted on : Thursday, November 6, 2014 - 3:33:17 PM
Last modification on : Saturday, November 21, 2020 - 9:54:03 AM
Long-term archiving on: : Saturday, February 7, 2015 - 11:06:29 AM
Contributor : Sergueï Lenglet <>
Submitted on : Thursday, November 6, 2014 - 3:33:17 PM
Last modification on : Saturday, November 21, 2020 - 9:54:03 AM
Long-term archiving on: : Saturday, February 7, 2015 - 11:06:29 AM
File
lambdamuentcs.pdf
Files produced by the author(s)