Aide à la recherche   Requête : Ledent Jérémy

1	2015 Bibliothèque Tangente. N° 55. Des calculs à n'en plus finir. p. 104-107.
2	2015 Bibliothèque Tangente. N° 55. La logique linéaire. p. 143-143.
3	2015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
4	2015 Bibliothèque Tangente. N° 55. Une preuve de maths est un programme informatique ! p. 138-142.