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.
It is worth emphasizing that interaction between𝐶 and the process inside the context using the names 𝑏, 𝑏 c does not happen due to the 1-input property
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.