An internal language for autonomous categories

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

Introduction to Higher Order Categorical Logic.

J. L. Bell, J. Lambek, Philip Scott · Journal of Symbolic Logic · 1989 · 1.1K citations

Humanities, Mathematics, Logic +11

Computational interpretations of linear logic

Samson Abramsky · Theoretical Computer Science · 1993 · 413 citations

Computing, Computer Science, Mathematics +14

The chemical abstract machine

Gérard Berry, Gérard Boudol · 1990 · 275 citations · Full text

Computing, Chemistry, Computer Science +16