On the π-calculus and linear logic

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Computing, Computer Science, Mathematics +7

Computational interpretations of linear logic

Samson Abramsky · Theoretical Computer Science · 1993 · 413 citations

Computing, Computer Science, Mathematics +14

Games and full completeness for multiplicative linear logic

Samson Abramsky, Radha Jagadeesan · Journal of Symbolic Logic · 1994 · 381 citations

Computing, Computer Science, Mathematics +11

The structure of multiplicatives

Vincent Danos, Laurent Régnier · Archive for Mathematical Logic · 1989 · 347 citations

Natural Sciences, Mathematics, Algebra +1