Search

• < Previous
• 1
• Next >

Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types

We extend the linear {\pi}-calculus with composite regular types in such a way that data containing linear values can be shared among several processes, if there is no overlapping access to such values. We describe a type reconstruction algorithm for the extended type system and discuss some&nbsp;[&hellip;]