Mots-clés – Auteurs

théorie des types

Il y a 11 résultats pour cette recherche

2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !
Auteur : Alvarez Aurélien
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Quadrature. N° 98. p. 9-19. Les mathématiques de la langue.
Auteur : Haralambous Yannis
2015 Bibliothèque Tangente. N° 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.
Auteurs : Nguyen Le Than Dung ; Ledent Jérémy
2014 La possibilité des nombres.
Auteur : Patras Frédéric
2010 Logicomix.
Auteurs : Doxiadis Apostolos ; Papadimitriou Christos ; Di Donna Annie ; Papadatos Alecos ; Staines Geoff. Dir. ; Dauzat Pierre-Emmanuel. Trad.
2009 Bulletin de l’APMEP. N° 483. p. 449-466. Mathématiques constructives.
Auteur : Lombardi Henri
2004 Du mode d’existence des objets de la mathématique.
Auteur : Gardies Jean-Louis
1993 Les irrationalités de la logique.
Auteur : Longo Giuseppe
1984 Introduction à la logique.
Auteur : Haug Philippe-Jacques
1975 Introduction à la logique.
Auteur : Haug Philippe-Jacques