AWpi dialect equips the pi-calculus with single-ownership and uni-capability rules so that wires act as identity morphisms, yielding a relative Seely category that supports denotational semantics for higher-order concurrent languages.
Letπ, πc the names involved; we haveπ πc (π) β β β β βπβ², and π π (π) β β β βπ β², and πΏ β’ πeπ§ (π | π ) π β βπeπ§ πΛπ (πβ² | π β²) β‘ πΛπ πeπ§ (πβ² | π β²)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Wiring the Pi-calculus to Denotational Semantics
AWpi dialect equips the pi-calculus with single-ownership and uni-capability rules so that wires act as identity morphisms, yielding a relative Seely category that supports denotational semantics for higher-order concurrent languages.