nLab Jean-Yves Girard

Selected writings

On System F:

  • Jean-Yves Girard, Interprétation functionelle et élimination des coupures dans l’arithmétique d’ordre supérieure, Ph.D. thesis, Université Paris VII (1972) [pdf, pdf]

Introducing linear logic:

On formal logic and formal proof theory (typed λ \lambda -calculus, linear logic, coherence spaces, …)

category: people

Last revised on March 27, 2023 at 18:52:25. See the history of this page for a list of all contributions to it.