**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)