MELL in the calculus of structures

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Computing, Computer Science, Artificial Intelligence +9

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

The Mathematics of Sentence Structure

Joachim Lambek · American Mathematical Monthly · 1958 · 1.3K citations

Language Studies, Mathematics, Syntax +3

Logic Programming with Focusing Proofs in Linear Logic

Jean‐Marc Andreoli · Journal of Logic and Computation · 1992 · 652 citations

Computing, Computer Science, Formal Methods +13