Name-passing calculi: From fusions to preorders and types

Type de document :
Article dans une revue
Journal of Information and Computation, Elsevier, 2016, 251, pp.26. 〈10.1016/j.ic.2016.10.003〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01419632
Contributeur : Sangiorgi Davide <>
Soumis le : lundi 19 décembre 2016 - 17:05:31
Dernière modification le : mardi 16 janvier 2018 - 16:23:23

Identifiants

Collections

Citation

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: From fusions to preorders and types. Journal of Information and Computation, Elsevier, 2016, 251, pp.26. 〈10.1016/j.ic.2016.10.003〉. 〈hal-01419632〉

Partager

Métriques

Consultations de la notice

196