Name-passing calculi: from fusions to preorders and types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2013

Name-passing calculi: from fusions to preorders and types

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⟩
228 View
192 Download

Share

Gmail Facebook X LinkedIn More