Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

CDV06 (In proceedings)
Author(s) Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Daniele Varacca
Title« Encoding CDuce in the Cpi-calculus »
InCONCUR'06
SeriesLecture Notes in Computer Science
Editor(s) Christel Baier and Holger Hermanns
Volume4137
Page(s)310-326
Year2006
PublisherSpringer-Verlag
PDFhttp://www.di.unito.it/˜dezani/papers/cdvC.pdf
NoteExtended version, http://www.di.unito.it/ dezani/papers/cdv.pdf
Abstract
We present a type faithful encoding of CDuce into the Cpi-calculus. These calculi are two variants of, respectively, the lambda-calculus and the pi-calculus, characterized by rich typing and subtyping systems with union, negation, and intersection types. The encoding is interesting because it sheds new light on the Milner-Turner encoding, on the relations between sequential and remote execution of functions/services, and on the validity of the equational laws for union and intersection types in pi-calculus.

BibTeX code

@inproceedings{CDV06,
  volume = 4137,
  pdf = {http://www.di.unito.it/~dezani/papers/cdvC.pdf},
  author = {Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and Daniele
            Varacca},
  series = {Lecture Notes in Computer Science},
  note = {Extended version, http://www.di.unito.it/~dezani/papers/cdv.pdf},
  booktitle = {{CONCUR'06}},
  editor = {Christel Baier and Holger Hermanns},
  abstract = {We present a type faithful encoding of CDuce into the
              Cpi-calculus. These calculi are two variants of, respectively, the
              lambda-calculus and the pi-calculus, characterized by rich typing
              and subtyping systems with union, negation, and intersection
              types. The encoding is interesting because it sheds new light on
              the Milner-Turner encoding, on the relations between sequential
              and remote execution of functions/services, and on the validity of
              the equational laws for union and intersection types in
              pi-calculus.},
  title = {{Encoding CDuce in the Cpi-calculus}},
  publisher = {Springer-Verlag},
  pages = {310-326},
  year = {2006},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!