Le raisonnement moral et juridique peut-il être vérifonctionnel ? Jean-Louis Gardies — 2006 Philosophia Scientiae
Les mathématiques grecques sous le regard de la théorie des types Jean-Louis Gardies — 2005 Philosophia Scientiae