nLab Jean-Yves Girard

• webpage

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:

• Jean-Yves Girard, Linear logic, Theoretical Computer Science 50 1 (1987) [doi:10.1016/0304-3975(87)90045-4, pdf]

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

• Jean-Yves Girard (translated and with appendiced by Paul Taylor and Yves Lafont), Proofs and Types, Cambridge University Press (1989) [ISBN:978-0-521-37181-0, webpage, pdf]

• Lectures on Logic

• Transcendental syntax 2.0, 2012 (pdf)

Related entries

• linear logic

• Geometry of Interaction

• transcendental syntax

category: people