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 : Friday, October 30, 2020 - 12:04:03 PM Long-term archiving on: : Saturday, April 15, 2017 - 7:07:33 AM