87
Voted
MSCS
2006
15 years 18 days 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...
69
Voted
MSCS
2006
15 years 18 days ago
2006
85
Voted
MSCS
2006
15 years 18 days 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 ...
62
Voted
MSCS
2006
15 years 18 days 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...