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.
Origin : Files produced by the author(s)
Loading...