Preface

Pierre-Louis Curien
2011 Theoretical Computer Science  
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, π r
doi:10.1016/j.tcs.2010.12.015 fatcat:32hbvy6qqvd7jdjxhrvf53iktu