Name-passing calculi: from fusions to preorders and types

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

appendix.pdf (229.59 Ko)

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 : samedi 11 mai 2013-11:17:59

Dernière modification le : jeudi 14 décembre 2023-13:56:06

Archivage à long terme le : lundi 19 août 2013-15:41:33

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UDL

233 Consultations

194 Téléchargements