Abstract
We extend the linear π-calculus with composite and equi-recursive types in a way that enables the sharing of data containing linear values, provided that there is no overlapping access on such values. We show that the extended type system admits a complete type reconstruction algorithm and, as a by-product, we solve the problem of reconstruction for equi-recursive session types. © 2014 Springer-Verlag.
Cite
CITATION STYLE
Padovani, L. (2014). Type reconstruction for the linear π-calculus with composite and equi-recursive types. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8412 LNCS, pp. 88–102). Springer Verlag. https://doi.org/10.1007/978-3-642-54830-7_6
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
