Categorical proof theory of classical propositional calculus

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

A formulae-as-type notion of control

Timothy G. Griffin · 1990 · 506 citations

Computing, Computer Science, Formal Methods +12

The duality of computation

Pierre-Louis Curien, Hugo Herbelin · 2000 · 320 citations

Computing, Computer Science, Logic +10

Weakly distributive categories

J.R.B. Cockett, R. A. G. Seely · Journal of Pure and Applied Algebra · 1997 · 183 citations