Publications

BibTex format

@inproceedings{Maffeis:2005:10.1016/j.entcs.2005.06.012,
author = {Maffeis, S},
doi = {10.1016/j.entcs.2005.06.012},
pages = {117--132},
title = {Sequence types for the π-calculus},
url = {http://dx.doi.org/10.1016/j.entcs.2005.06.012},
year = {2005}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We introduce channel sequence types to study finitary polymorphism in the context of mobile processes modelled in the π-calculus. We associate to each channel a set of exchange types, and we require that output processes send values of one of those types, and input processes accept values of any type in the set. Our type assignment system enjoys subject reduction and guarantees the absence of communication errors. We give several examples of polymorphism, and we encode the λ-calculus with the strict intersection type discipline. © 2005 Elsevier B.V. All rights reserved.
AU  - Maffeis,S
DO  - 10.1016/j.entcs.2005.06.012
EP  - 132
PY  - 2005///
SN  - 1571-0661
SP  - 117
TI  - Sequence types for the π-calculus
UR  - http://dx.doi.org/10.1016/j.entcs.2005.06.012
ER  -

Download

DrSergioMaffeis

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)