Head linear reduction and pure proof net extraction

Lecture Notes in Computer Science 1205

Industrial Robot the international journal of robotics research and application · 1999 · 38.7K citations

Computing, Computer Science, Programming Languages +2

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 | lambda-Calculus.

Harold T. Hodes, Henk Barendregt · The Philosophical Review · 1988 · 567 citations

Interaction nets

Yves Lafont · 1990 · 317 citations

Computing, Computer Science, Computer Systems +14