avec Serge Abiteboul et Laurence Devillers,
Qui a hacké Garoutzia ?, C&F Éditions, 2023.
avec Serge Abiteboul et Laurence Devillers,
Qui a hacké Garoutzia ?, C&F Éditions, 2023.
Un objet informatique a-t-il une éthique ? in
Claude Kirchner, Éric Germain et Catherine Tessier,
Une éthique du numérique : pour quoi faire ?
, PUF, 2022.
Sommes-nous plus libres parce que le monde va au hasard ?
in Jean-Paul Delahaye, Pourquoi moi ? : Le hasard
dans tous ses états, Belin, 2021.
Les réseaux, condition nécessaire du confinement et nouvel outil de santé publique,
in Emmanuel Hirsch, Pandémie 2020 - Éthique,
société, politique, Les éditions du Cerf, 2020.
Ce dont on ne peut parler, il faut l'écrire,
Le Pommier, 2019.
Vivre, aimer, voter en ligne, et autres chroniques numériques,
Le Pommier, 2017.
avec Serge Abiteboul, Le temps des algorithmes, Le Pommier, 2017.
在中国 : 算法小时代:从数学到生活的历变 平装, 2017.
In English: with Serge Abiteboul, The age of algorithms,
Cambridge University Press, 2020.
Στα ελληνικα : με Σερζ Αμπιτεμπουλ, Η Εποχη Των Αλγοριθμων,
Πανεπιστημιακες Εκδοσεις Κρητης, 2022.
Ces préjugés qui nous encombrent
Le Pommier, Manifestes, 2009.
podcast
de l'interview diffusée par France Inter le lundi 2
novembre 2009 de 6h à 7h, et la
page sur le site de France Inter.
Les métamorphoses du calcul : une
étonnante histoire de mathématiques,
Le Pommier, Essais, 2007. En poche, 2011.
Grand prix de philosophie de l'Académie Française.
Le deux premiers chapitres sont en ligne sur le site
Futura sciences.
Ce podcast de 25 mn sur Canal Académie présente le livre.
Στην ελληνική γλώσσα : Οι μεταμορφώσεις του λογισμού, Εκκρεμές, 2012.
In English:
Computation, Proof, Machine, Cambrigde University Press, 2015.
在中国 : 计算进化史:改变数学的命运 平装, 2017.
Henk Barendregt, Wil Dekkers, Richard Statman, and 11 contributors, Lambda
Calculus with Types, Cambridge University Press, 2013.
Higher-order unification and matching,
in
Alan Robinson and Andrei Voronkov, Handbook of Automated Reasoning,
Elsevier, 2001,
pp. 1009-1062.
Les démonstrations et les algorithmes. Introduction à la
logique et à la calculabilité
Les Éditions de l'École polytechnique, 2010.
In English:
Proofs and Algorithms: An Introduction to Logic and Computability,
Springer-Verlag, 2011.
Les principes des langages de programmation,
Les Éditions de l'École polytechnique, 2008.
In English: Principles of Programming Languages, Springer-Verlag, 2009.
Avec Jean-Jacques Lévy,
Introduction à la théorie des langages de
programmation,
Les Éditions de l'École polytechnique, 2006, 2008.
In English:
Introduction to the Theory of Programming Languages,
Springer-Verlag, 2010.
În limba română :
Introducere in teoria limbajelor de programare, MatrixRom, 2013.
Sous la direction de Benjamin Wack,
Informatique pour tous en classes préparatoires aux
grandes écoles, Eyrolles, 2013.
Avec Bertrand Fauchet,
Méthode pour l'épreuve d'informatique, Dunod, 1988.
En coopération,
Informatique et sciences du numérique - Spécialité
ISN en terminale S, 2012,
Édition Spéciale Python, 2013.
Les programmes des deux éditions sont en ligne.
En coopération,
Introduction à la science informatique, CNDP, 2011.
Quelques coquilles.
Sous la direction de Claude Deschamps, Symbole, Seconde, 2010,
Première 2011, Terminale, 2012.
Sous la direction de Claire Calmet, Mathieu Hirtzig et David Wilgenbus,
1, 2, 3... Codez !, Le Pommier, 2016.
Au coeur d'une calculatrice, in
David Wilgenbus, Béatrice Salviat, Marc Julia,
Graines de Sciences 5,
Le Pommier, 2003.
Pourquoi est-ce qu'il reste des choses à découvrir en
mathématiques, alors que c'est l'homme qui les a inventées ?
in Noëlle Bréham et Marjorie Devoucoux, Les p'tits bateaux,
First, 2013.
Qui a inventé l'ordinateur ?,
in 30 questions de sciences à croquer,
Le Pommier, 2012.
Les mathématiques universelles et inhabituelles,
in Claudie Haigneré,
Plaidoyer pour réconcilier les Sciences et la
Culture,
Le Pommier, 2010.
Pourquoi n'y a-t-il qu'un modèle d'ordinateur ?,
in
100 questions de sciences à croquer,
Le Pommier, 2007.
avec Jean-Pierre Bourguignon, Jean-Christophe Novelli et Benoît Rittaud,
Jeux mathématiques et vice versa,
Le collège de la cité, Le Pommier - La cité des sciences et de
l'industrie, 2005.
avec Gabriel Chardin, Marc Lachièze-Rey, Hervé This, sous la
direction de Étienne Klein,
Quand la science a dit... c'est bizarre !, Le Pommier, 2003.
En poche, 2008.
Voulez vous jouer avec les maths ?, Le Pommier, 2002.
In italiano :
Volete giocare con la matematica ?,
Barbera Editore, 2005.
En español :
¿ Quieres jugar con las matemáticas ?,
Akal Ediciones,
2006.
Peut-on croire les sondages ?,
Le Pommier, 2002.
한국의 :
여 론 조 사 를 믿 어
도 될 까 ?,
Goldenbough, 2006.
En español :
¿ Podemos creer en los sondeos ?, Akal Ediciones, 2006.
Στην ελληνική γλώσσα : Μπορούμε
να
πιστεύουμε
τις
δημοσκοπήσεις ;,
Εκκρεμές, 2017.
avec Jean-Michel Alimi, Laurence Rolland, Pierre Avocat, sous la
direction de Nayla Farouki,
Quand la Science a dit... c'est Impossible, Le Pommier, 1999.
En poche, 2008.
Sous la direction de Michel Serres et Nayla Farouki,
Paysages des Sciences,
Le Pommier, 1999.
Sous la direction de Michel Serres et Nayla Farouki,
Le Trésor - Dictionnaire des sciences,
Flammarion, 1997.
La logique, Dominos, Flammarion, 1995.
Réédition,
Le Pommier, 2015.
Auf Deutsch : Logik, BLT, 1998.
En español : La Lógica, Siglo Veintiuno Editores, 2001.