Linear logic and elementary time

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

Light Linear Logic

Jean-Yves Girard · Information and Computation · 1998 · 325 citations

A new constructive logic: classic logic

Jean-Yves Girard · Mathematical Structures in Computer Science · 1991 · 309 citations

Language Studies, Computer Science, Logic +6

A new deconstructive logic: linear logic

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx · Journal of Symbolic Logic · 1997 · 142 citations

Computing, Computer Science, Mathematics +8