类 型
47 篇文献
 
Algebraic Composition and Refinement of Proofs  
. We present an algebraic calculus for proof composition and refinement.......
Algebraic Methodology and Software Technology  1997
5次引用 0 0
Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories  
Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is a general tool to s......
Computing Research Repository  2010
0次引用 0 0
Categorical quantum mechanics  
This invited chapter in the Handbook of Quantum Logic and Quantum Structures consists of two parts: 1. A substantially updated version of quant-ph/0402130 by the same authors, which initiated the area......
1次引用 0 0
Partially Additive Categories and Fully Complete Models of Linear Logic  
We construct a new class of models for linear logic. These models are constructed on partially additive categories using the Int construction of Joyal, Street and Verity and double glueing constructio......
Typed Lambda Calculus and Applications  2001
5次引用 0 0
Coherence in linear predicate logic  
Coherence with respect to Kelly-Mac Lane graphs is proved for categories that correspond to the multiplicative fragment without constant propo- sitions of classical linear first-order predicate logic ......
Annals of Pure and Applied Logic  2009
0次引用 0 0
��-Polycategories, Additive Linear Logic, and Process Semantics  
1次引用 0 0
Glueing and Orthogonality for Models of Linear Logic  
We present the general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic: in particular we treat the ex......
8次引用 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
Categorical proof theory of classical propositional calculus  
We investigate semantics for classical proof based on the sequent calculus. We show that the propositional connectives are not quite well-behaved f rom a traditional categorical per- spective, and giv......
Theoretical Computer Science  2006
2次引用 0 0
Categorical Proof Theory of Classical Propositional Calculus  
We investigate semantics for classical proof based on the sequent calculus. We show that the propositional connectives are not quite well-behaved from a traditional categorical perspective, and give a......
8次引用 0 0

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