E. Monteiro. Linear Logic as CSP, to appear in: J. Logic and Computation. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (6 citations) (Correct)
....buffers. Finally, the paper contains a survey of more advanced proof theory for linear logic, including additive boxes and Girard s theory of slicing, and how to represent these notions in the calculus. At this point, we should mention a few papers on related themes. The paper of Monteiro [29] gives a lock step simulation of proof nets for multiplicative linear logic into a version of CSP, although the author does not handle the additives or exponentials. This paper is the first example of the kind of analysis considered here (apparently independent of Abramsky [2] of a sound and ....
E. Monteiro. Linear Logic as CSP, to appear in: J. Logic and Computation.
On the pi-Calculus and Linear Logic - Bellin, Scott (1994) (6 citations) (Correct)
....buffers. Finally, the paper contains a survey of more advanced proof theory for linear logic, including additive boxes and Girard s theory of slicing, and how to represent these notions in the calculus. At this point, we should mention a few papers on related themes. The paper of Monteiro [29] gives a lock step simulation of proof nets for multiplicative linear logic into a version of CSP, although the author does not handle the additives or exponentials. This paper is the first example of the kind of analysis considered here (apparently independent of Abramsky [2] of a sound and ....
E. Monteiro. Linear Logic as CSP, to appear in: J. Logic and Computation.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC