Towards a typed geometry of interaction (2005)

by Esfandiar Haghverdi , Philip J. Scott
Citations:4 - 1 self

Documents Related by Co-Citation

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 – Jean-yves 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 – Jean-yves Girard - 1995
101 Geometry of interaction I: Interpretation of system f – J-Y 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 Single-Input Single-Output Continuous-Time Control Systems – Richard J. Boulton, Ruth Hardy, Ursula Martin - 2003
7 The Underlying Logic of Hoare Logic – Andreas Blass, Yuri Gurevich - 1997