| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)
Abstract : A few forms of bisimulation and of coinductive techniques that have been proposed for higher-order languages are discussed, beginning with the pure lambda-calculus and then moving to extensions of it, notably those with non-determinism and probabilities.
Cited literature [34 references]
https://hal.inria.fr/hal-01092815
Contributor : Davide Sangiorgi Connect in order to contact the contributor
Submitted on : Tuesday, December 9, 2014 - 3:21:49 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM
Long-term archiving on: : Saturday, April 15, 2017 - 7:07:33 AM
Contributor : Davide Sangiorgi Connect in order to contact the contributor
Submitted on : Tuesday, December 9, 2014 - 3:21:49 PM
Last modification on : Friday, October 30, 2020 - 12:04:03 PM
Long-term archiving on: : Saturday, April 15, 2017 - 7:07:33 AM
File
main.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License