Retracing some paths in Process Algebra

Cached

Download Links

by Samson Abramsky
Citations:67 - 16 self

Documents Related by Co-Citation

170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
101 Geometry of interaction I: Interpretation of system f – J-Y Girard - 1989
123 Interaction Categories and the Foundations of Typed Concurrent Programming – Samson Abramsky, Simon Gay, Rajagopal Nagarajan - 1995
45 Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi – Masahito Hasegawa - 1997
111 Coherence for compact closed categories – M Kelly, M Laplaza - 1980
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
210 Games and Full Completeness for Multiplicative Linear Logic – Samson Abramsky, Radha Jagadeesan - 1994
930 Categories for the Working Mathematician – S Mac Lane - 1971
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
149 The geometry of tensor calculus l – Andre Joyal, Ross Street - 1991
269 Von Neumann, The logic of quantum mechanics – Garrett Birkhoff, John - 1936
99 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995
19 Linear Läuchli semantics – R. F. Blute, P. J. Scott - 1996
15 Feedback and generalized logic – E S Bainbridge - 1976
50 Concurrent Games and Full Completeness – Samson Abramsky, Paul-André Melliès, Equipe De Logique Mathematique - 1998
616 Light Linear Logic – Jean-yves Girard
353 Proofs and Types – Jean-Yves Girard, Yves Lafont, Paul Taylor - 1989
16 Feedback for Linearly Distributive Categories: Traces and Fixpoints – R. F. Blute, J.R.B. Cockett, R.A.G. Seely - 1999