A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Preface This text is both meant as a preface to this 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 languagesa coming together in which Jean-Yves' works play a prominent role. The idea of this volume grew out contemporaneously with the following events that were organised on the occasion of Jean-Yves' 60th birthday: Pierre-Louis Curien Laboratoire Preuves, Programmes et Systèmes, π rdoi:10.1016/j.tcs.2010.12.015 fatcat:32hbvy6qqvd7jdjxhrvf53iktu