Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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

Paternité

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⟩
164 Consultations
189 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More