Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (146.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01092815 , version 1 (09-12-2014)

Licence

Identifiants

Citer

Davide Sangiorgi. Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract). Coalgebraic Methods in Computer Science, Apr 2014, Grenoble, France. pp.3 - 9, ⟨10.1007/978-3-662-44124-4_1⟩. ⟨hal-01092815⟩
179 Consultations
208 Téléchargements

Altmetric

Partager

More