Stratified coherence spaces: a denotational semantics for light 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

Light Linear Logic

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

Linear types and non-size-increasing polynomial time computation

Martin Hofmann · 2003 · 109 citations

Computing, Computer Science, Formal Methods +16

Linear logic and elementary time

Vincent Danos, Jean-Baptiste Joinet · Information and Computation · 2003 · 80 citations · Full text

Humanities, Computer Science, Mathematics +12