Frédéric Ruyer

According to our database, Frédéric Ruyer authored at least 3 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work).

Christophe Raffalli, Frédéric Ruyer

Fundam. Informaticae, 2008

2006

Preuves, types et sous-types. (Proof types and subtypes).

Frédéric Ruyer

PhD thesis, 2006

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

Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006