Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Lafont, Y.
and
Streicher, T.
1991.
Games semantics for linear logic.
p.
43.
Barr, Michael
1991.
Accessible categories and models of linear logic.
Journal of Pure and Applied Algebra,
Vol. 69,
Issue. 3,
p.
219.
Abramsky, Samson
and
Jagadeesan, Radha
1992.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 652,
Issue. ,
p.
291.
Benson, D.B.
1992.
On Convolution.
p.
205.
Pratt, Vaughan
1993.
Mathematical Foundations of Computer Science 1993.
Vol. 711,
Issue. ,
p.
142.
Abramsky, Samson
1993.
Theory and Formal Methods 1993.
p.
57.
Gupta, V.
and
Pratt, V.
1993.
Gates accept concurrent behavior.
p.
62.
Barry Jay, C.
1993.
Tail recursion through universal invariants.
Theoretical Computer Science,
Vol. 115,
Issue. 1,
p.
151.
Reddy, Uday S.
1994.
Extensions of Logic Programming.
Vol. 798,
Issue. ,
p.
301.
Curien, Pierre-Louis
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
29.
I. Rosenthal, Kimmo
1994.
∗-Autonomous categories of bimodules.
Journal of Pure and Applied Algebra,
Vol. 97,
Issue. 2,
p.
189.
Jacobs, Bart
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
173.
Blute, R. F.
Panangaden, Prakash
and
Seely, R. A. G.
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
474.
Abramsky, Samson
and
Jagadeesan, Radha
1994.
Games and full completeness for multiplicative linear logic.
Journal of Symbolic Logic,
Vol. 59,
Issue. 2,
p.
543.
Jacobs, Bart
1994.
Semantics of weakening and contraction.
Annals of Pure and Applied Logic,
Vol. 69,
Issue. 1,
p.
73.
Lamarche, François
1995.
Generalizing Coherence Spaces and Hypercoherences.
Electronic Notes in Theoretical Computer Science,
Vol. 1,
Issue. ,
p.
355.
Bierman, G. M.
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
78.
Pratt, Vaughan
1995.
Theory and Practice of Parallel Programming.
Vol. 907,
Issue. ,
p.
1.
Barr, Michael
1995.
Nonsymmetric ∗-autonomous categories.
Theoretical Computer Science,
Vol. 139,
Issue. 1-2,
p.
115.
Negri, Sara
1995.
Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic.
Mathematical Structures in Computer Science,
Vol. 5,
Issue. 1,
p.
41.