MSCS
2006
13 years 4 months ago
2006
This paper revisits the authors' notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a como...
MSCS
2006
13 years 4 months ago
2006
MSCS
2006
13 years 4 months ago
2006
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
MSCS
2006
13 years 4 months ago
2006
We define a sequent calculus corresponding to the logic of strongly compact closed categories with biproducts. Based on this calculus, we define a proof-net syntax with ly normali...