Add to ORKGInternational audienceThis 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
International audienceThe paper is based on my recollections of Grigori Mints (1939–2014) completed ...
Held at the Institute of Mathematics of the University of Liège, Liège, September 8―11, 2004This spe...
International audienceThis issue contains extended versions of selected papers from the 8th Internat...
International audienceThis text is both meant as a preface to a volume of Theoretical Computer Scien...
philosophy of mathematics and computer science, cryptography in science fiction, robots as scapegoat
Auseinandersetzung mit Thesen von Jean-Yves Girard zur beweistheoretischen Semantik der Logikprogram...
International audienceThis Festschrift is a collection of invited research articles on the occasion ...
AbstractForeword and DedicationThis volume contains the Proceedings of the Eleventh Conference on th...
Cette thèse apporte un éclaircissement sur le travail récent de Jean-Yves Girard intitulé "syntaxe t...
Preface of the special issue of the Journal of Automated Reasoning in memory of Larry Wo
International audienceInformal proceedings of the 7th workshop on Fixed Points in Computer Science (...
11th International Conference on Computational Processing of the Portuguese Language (PROPOR).\ud Sã...
Preface This volume contains the papers presented at the 47th International Colloquium on Auto- mat...
International audienceAfter having pointed out that the difficulty in reading contemporary formalism...
Ngosso Thierry. La démocratie délibérative. Anthologie de textes fondamentaux. Recueil édité par Cha...
International audienceThe paper is based on my recollections of Grigori Mints (1939–2014) completed ...
Held at the Institute of Mathematics of the University of Liège, Liège, September 8―11, 2004This spe...
International audienceThis issue contains extended versions of selected papers from the 8th Internat...
International audienceThis text is both meant as a preface to a volume of Theoretical Computer Scien...
philosophy of mathematics and computer science, cryptography in science fiction, robots as scapegoat
Auseinandersetzung mit Thesen von Jean-Yves Girard zur beweistheoretischen Semantik der Logikprogram...
International audienceThis Festschrift is a collection of invited research articles on the occasion ...
AbstractForeword and DedicationThis volume contains the Proceedings of the Eleventh Conference on th...
Cette thèse apporte un éclaircissement sur le travail récent de Jean-Yves Girard intitulé "syntaxe t...
Preface of the special issue of the Journal of Automated Reasoning in memory of Larry Wo
International audienceInformal proceedings of the 7th workshop on Fixed Points in Computer Science (...
11th International Conference on Computational Processing of the Portuguese Language (PROPOR).\ud Sã...
Preface This volume contains the papers presented at the 47th International Colloquium on Auto- mat...
International audienceAfter having pointed out that the difficulty in reading contemporary formalism...
Ngosso Thierry. La démocratie délibérative. Anthologie de textes fondamentaux. Recueil édité par Cha...
International audienceThe paper is based on my recollections of Grigori Mints (1939–2014) completed ...
Held at the Institute of Mathematics of the University of Liège, Liège, September 8―11, 2004This spe...
International audienceThis issue contains extended versions of selected papers from the 8th Internat...