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.
https://hal.inria.fr/hal-01092815
Contributor : Sangiorgi Davide
<>
Submitted on : Tuesday, December 9, 2014 - 3:21:49 PM
Last modification on : Saturday, January 27, 2018 - 1:30:40 AM
Long-term archiving on : Saturday, April 15, 2017 - 7:07:33 AM
