, 2007, 'Méthode axiomatique et négation chez Hilbert', Philosophia Scientiae 11 (2), 67-96.
, 1983a, 'Logique de programmes et sémantique intensionnelle', Histoire Épistémologie Langage 5 (2), 229-240.