|
61
|
Retracing some paths in Process Algebra
– Samson Abramsky
|
|
119
|
A Categorical Semantics of Quantum Protocols
– Samson Abramsky, Bob Coecke
|
|
150
|
Traced monoidal categories
– A Joyal, R Street, D Verity
- 1996
|
|
69
|
New Foundations for the Geometry of Interaction
– Samson Abramsky, Radha Jagadeesan
- 1993
|
|
35
|
A categorical approach to probability theory
– M Giry
- 1981
|
|
28
|
Glueing and Orthogonality for Models of Linear Logic
– Martin Hyland, Andrea Schalk
- 2003
|
|
10
|
Unique decomposition categories, geometry of interaction and combinatory logic
– E Haghverdi
|
|
44
|
Proof-nets and the Hilbert space
– V. Danos, L. Regnier
- 1995
|
|
541
|
Light Linear Logic
– Jean-yves Girard
|
|
91
|
Geometry of Interaction I: interpretation of system F
– J-Y Girard
- 1989
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
120
|
Bisimulation for Labelled Markov Processes
– Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden
- 1997
|
|
107
|
Autonomous Categories
– M Barr
- 1979
|
|
5
|
Probabilistic Relations
– Prakash Panangaden
- 1998
|
|
14
|
Feedback for Linearly Distributive Categories: Traces and Fixpoints
– R. F. Blute, J.R.B. Cockett, R.A.G. Seely
- 1999
|
|
31
|
Geometry of Interaction II: Deadlock-free Algorithms
– Jean-Yves Girard
- 1990
|
|
15
|
A Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness
– E Haghverdi
- 2000
|
|
26
|
Geometry of Interaction III: Accommodating the Additives
– Jean-yves Girard
- 1995
|
|
93
|
The Geometry of Optimal Lambda Reduction
– Georges Gonthier, Martín Abadi, Jean-Jacques Lévy
- 1992
|
