pith. sign in

From Corollary 63, We also have ๐›ฟ, e๐‘Žโˆ—e๐‘ โŠข ๐‘„๐œŽ ๐‘ (๐‘) = = = =โ‡’ ๐‘„1๐œŽ

If ๐‘ƒ ๐‘ (๐‘) โˆ’ โˆ’ โˆ’ โ†’๐‘ƒ1 ๐‘Ž ( ๐‘ฅ ) โˆ’ โˆ’ โˆ’ โˆ’ โ†’๐‘ƒ2, since ๐‘ƒ โ‰ˆ ๐›ฟ,e๐‘Žโˆ—e๐‘Žโ€ฒ ๐‘„, ๐‘ โˆ‰ n(๐›ฟ, e๐‘Žโˆ—e๐‘Žโ€ฒ), there is ๐›ฟ, e๐‘Žโˆ—e๐‘Žโ€ฒ โŠข ๐‘„ ๐‘ (๐‘) = = = =โ‡’ ๐‘„1 with ๐‘ƒ1 โ‰ˆ ๐›ฟ,e๐‘Žโˆ—e๐‘Žโ€ฒ ๐‘„1

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
browse 1 citing papers

fields

cs.LO 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Wiring the Pi-calculus to Denotational Semantics

cs.LO ยท 2026-05-18 ยท unverdicted ยท novelty 6.0

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.

citing papers explorer

Showing 1 of 1 citing paper.

  • Wiring the Pi-calculus to Denotational Semantics cs.LO ยท 2026-05-18 ยท unverdicted ยท none ยท ref 23

    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.