Preface to Girard's Festschrift

Pierre-Louis Curien (1, 2)

1 PPS - Preuves, Programmes et Systèmes
2 PI.R2 - Design, study and implementation of languages for proofs and programs

This text is both meant as a preface to a volume of Theoretical Computer Science dedicated to Jean-Yves Girard, and as a short essay in French (with an English summary) on the relation between proof theory and programming languages -- a coming together in which Jean-Yves' works play a prominent role.

Domaines: Logique en informatique [cs.LO]

Pierre-Louis Curien. Preface to Girard's Festschrift. Theoretical Computer Science, 2011, 412 (20), pp.1853-1859. ⟨hal-00551737⟩