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.
The most interesting case is a𝜏 action from 𝑃 stemming from an interaction along names in 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.