Name-passing calculi: from fusions to preorders and types - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Name-passing calculi: from fusions to preorders and types

(1, 2, 3) , (1, 2, 3) , (2, 4)
1
2
3
4

Abstract

This is the appendix of the paper "Name-passing calculi: from fusions to preorders and types" (D Hirschkoff, JM. Madiot, D. Sangiorgi), to appear in LICS'2013.
Fichier principal
Vignette du fichier
appendix.pdf (229.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00818068 , version 1 (26-04-2013)
hal-00818068 , version 2 (11-05-2013)

Identifiers

  • HAL Id : hal-00818068 , version 2

Cite

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types. 2013. ⟨hal-00818068v2⟩
227 View
183 Download

Share

Gmail Facebook Twitter LinkedIn More