166

Traced monoidal categories
–
 1996

236

Categories for the working mathematician. Graduate Texts
–
 1998

5

Paracategories I: Internal Paracategories and Saturated Partial Algebras
–
 2002

5

Geometry of Interaction IV: the Feedback Equation
–
 2005

2

Trace ideals. Invited lecture at MFPS 2003
–
 2003

3

Categorical models of computation: partially traced categories and presheaf models of quantum computation
–
 2010

29

Geometry of Interaction III: Accommodating the Additives
–
 1995

27

Handbook of Categorical Algebra 1
–
 1994

57

Applications of negative dimensional tensors
–
 1971

12

On traced monoidal closed categories
–
 2008

4

Geometry of Interaction and the Dynamics of Proof Reduction: a tutorial
–
 2008

111

Towards a quantum programming language
–
 2004

150

A Categorical Semantics of Quantum Protocols
–

427

Introduction to higher order categorical logic
–
 1986

101

Geometry of interaction I: interpretation of system F.”, Logic Colloqium
–
 1988

2

An application of stream calculus to signal flow graphs. Lecture
–

2

Algebraic Approaches to Program Semantics. AKM series in theoretical computer science
–
 1986

7

A Hoare Logic for SingleInput SingleOutput ContinuousTime Control Systems
–
 2003

7

The Underlying Logic of Hoare Logic
–
 1997
