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

Name-passing calculi: from fusions to preorders and types, Appendix

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
appendix.pdf (139.29 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jean-Marie Madiot  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00818068

Soumis le : vendredi 26 avril 2013-11:08:24

Dernière modification le : lundi 4 novembre 2024-14:40:08

Archivage à long terme le : samedi 27 juillet 2013-04:03:59

Télécharger pour visualiser

Dates et versions

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

Identifiants

  • HAL Id : hal-00818068 , version 1

Citer

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types, Appendix. 2013. ⟨hal-00818068v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
250 Consultations
209 Téléchargements

Partager

More