170

Traced monoidal categories
– André Joyal, Ross Street, Domnic Verity
 1996

238

Categories for the Working Mathematician. Graduate Texts in Mathematics
– MAC LANE, S
 1971

5

Paracategories I: Internal Paracategories and Saturated Partial Algebras
– Claudio Hermida, Paulo Mateus
 2002

5

Geometry of Interaction IV: the Feedback Equation
– Jeanyves Girard
 2005

5

Geometry of Interaction and the Dynamics of Proof Reduction: a tutorial
– Esfandiar Haghverdi, Philip Scott
 2008

2

Trace ideals. Invited lecture at MFPS 2003
– G Plotkin
 2003

3

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

29

Geometry of Interaction III: Accommodating the Additives
– Jeanyves Girard
 1995

101

Geometry of interaction I: Interpretation of system f
– JY Girard
 1989

111

Towards a quantum programming language
– Peter Selinger
 2004

153

A Categorical Semantics of Quantum Protocols
– Samson Abramsky, Bob Coecke

27

Handbook of Categorical Algebra 1
– F Borceux
 1994

58

Applications of negative dimensional tensors
– R Penrose
 1971

14

On traced monoidal closed categories
– Masahito Hasegawa
 2008

427

Introduction to Higher Order Categorical Logic
– J Lambek, P Scott
 1986

2

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

2

Algebraic Approaches to Program Semantics. AKM series in theoretical computer science
– E G Manes, M A Arbib
 1986

7

A Hoare Logic for SingleInput SingleOutput ContinuousTime Control Systems
– Richard J. Boulton, Ruth Hardy, Ursula Martin
 2003

7

The Underlying Logic of Hoare Logic
– Andreas Blass, Yuri Gurevich
 1997
