Name-passing calculi: From fusions to preorders and types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Information and Computation Year : 2016

Dates and versions

hal-01419632 , version 1 (19-12-2016)

Identifiers

Cite

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⟩
100 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More