Preface to Girard's Festschrift

Pierre-Louis Curien 1, 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Abstract : 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.
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [66 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00551737
Contributor : Pierre-Louis Curien <>
Submitted on : Tuesday, January 4, 2011 - 2:49:37 PM
Last modification on : Friday, April 12, 2019 - 10:18:03 AM
Document(s) archivé(s) le : Tuesday, April 5, 2011 - 2:59:25 AM

Files

girard-preface.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00551737, version 1

Collections

Citation

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

Share

Metrics

Record views

347

Files downloads

408