Article Dans Une Revue
Information and Computation
Année : 2016
Davide Sangiorgi : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01419632
Soumis le : lundi 19 décembre 2016-17:05:31
Dernière modification le : lundi 4 novembre 2024-14:40:08
Citer
Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: From fusions to preorders and types. Information and Computation, 2016, 251, pp.26. ⟨10.1016/j.ic.2016.10.003⟩. ⟨hal-01419632⟩
Collections
113
Consultations
0
Téléchargements