Uniformity and the Taylor expansion of ordinary lambda-terms

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4K citations

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Engineering, Computational Model Theory, Computational Complexity +3

The system F of variable types, fifteen years later

Jean-Yves Girard · Theoretical Computer Science · 1986 · 353 citations

System F, Generic Programming, Type Theory +2

Locus Solum: From the rules of logic to the logic of rules

Jean-Yves Girard · Mathematical Structures in Computer Science · 2001 · 257 citations

Philosophy Of Language, Locus Solum, Substructural Logic +10

The differential lambda-calculus

Thomas Ehrhard, Laurent Régnier · Theoretical Computer Science · 2003 · 237 citations

Generalized Function, Differential Lambda-calculus, Foundational Calculus +2