CDV06 (In proceedings)
|
Author(s) | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Daniele Varacca |
Title | « Encoding CDuce in the Cpi-calculus » |
In | CONCUR'06 |
Series | Lecture Notes in Computer Science |
Editor(s) | Christel Baier and Holger Hermanns |
Volume | 4137 |
Page(s) | 310-326 |
Year | 2006 |
Publisher | Springer-Verlag |
PDF | http://www.di.unito.it/˜dezani/papers/cdvC.pdf |
Note | Extended 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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)