Continuation semantics for the Lambek–Grishin calculus

The Mathematics of Sentence Structure

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

Applied Linguistics, Syntax, Sentence Structure +10

The Mathematics of Sentence Structure

Joachim Lambek · American Mathematical Monthly · 1958 · 533 citations

Syntax, Sentence Structure, Computational Linguistics +7

The duality of computation

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

Weakly distributive categories

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

Syntax, Automated Reasoning, Higher Category Theory +6

Control categories and duality: on the categorical semantics of the lambda-mu calculus

Peter Selinger · Mathematical Structures in Computer Science · 2001 · 153 citations · Full text

Syntax, Engineering, Operational Semantics +13