Computer-Assisted Teaching in Class Situation: A High-School Math Lab on Vectors. - Maud Marchal; Peggy Provent; Frédéric Ruyer; Pirouz Djoharian; Fabrice Neyret (Edutainment, 2006)

Preuves, types et sous-types. (Proof types and subtypes). - Frédéric Ruyer (2006)

Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work). - Christophe Raffalli; Frédéric Ruyer (Fundam. Informaticae, 2008)