Name-passing calculi: from fusions to preorders and types - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2013

Name-passing calculi: from fusions to preorders and types

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00818068 , version 2

Citer

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types. 2013. ⟨hal-00818068v2⟩
235 Consultations
198 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More