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]

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

category: people

Last revised on August 16, 2022 at 12:56:29. See the history of this page for a list of all contributions to it.