类 型
14 篇文献
 
A canonical graphical syntax for non-empty finite products a nd sums  
2次引用 0 0
The Variable Hierarchy for the Games mu-Calculus  
Parity games are combinatorial representations of closed Boolean -terms. By adding to them draw positions, they have been organized by Arnold and one of the authors (3, 24) into a -calculus (2) whose ......
Computing Research Repository  2007
0次引用 0 0
��-Polycategories, Additive Linear Logic, and Process Semantics  
1次引用 0 0
POLARIZED CATEGORY THEORY, MODULES, AND GAME SEMANTICS  
Motivated by an analysis of Abramsky-Jagadeesan games, the paper con- siders a categorical semantics for a polarized notion of two-player games, a semantics which has close connections with the logic ......
7次引用 0 0
Proof Nets for Additive Linear Logic with Units  
Additive linear logic, the fragment of linear logic concerning linear implication between strictly additive formulae, coincides with sum-product logic, the internal language of categories with free fi......
Logic in Computer Science  2011
0次引用 0 0
A Language For Multiplicative-additive Linear Logic  
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 proved complete for a s......
Electronic Notes in Theoretical Computer Science  2005
4次引用 0 0
On the complexity of Cockett-Seely polarized games  
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 complexity is ultimate......
0次引用 0 0
From Parity Games to Circular Proofs  
We survey on the ongoing research that relates the combinatorics of parity games to the algebra of categories with finite products, finite coproducts, initial algebras and final coalgebras of definabl......
Electronic Notes in Theoretical Computer Science  2002
0次引用 0 0
On the word problem for SP-categories, and the properties of two-way communication  
The word problem for categories with free products and coproducts (sums), SP-categories, is directly related to the problem of determining the equivalence of certain processes. Indeed, the maps in the......
Computing Research Repository  2009
1次引用 0 0
The Variable Hierarchy for the Games µ-Calculus  
Parity games are combinatorial representations of closed Boolean µ-terms. By adding to them draw positions, they have been organized by Arnold and one of the authors [1, 2] into a µ-calculus [3]. As d......
0次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜