164 citations · 274 across the 22 of their papers we have counts for
Showing 2004Show all
2 papers · 1 filter
math.CT2004
A language for multiplicative-additive linear logic
J. R. B. Cockett, C. A. Pastro
A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. The term calculus is pro…
math.CT2004
On the complexity of Cockett-Seely polarized games
J. R. B. Cockett, C. A. Pastro
In this paper the complexity of provability of polarized additive, multiplicative, and exponential formulas in the (initial) Cockett-Seely polarized game logic is discussed. The co…