| 2008 | ||
|---|---|---|
| 10 | EE | Christophe Raffalli, Frédéric Ruyer: Realizability of the Axiom of Choice in HOL. (An Analysis of Krivine's Work). Fundam. Inform. 84(2): 241-258 (2008) |
| 2006 | ||
| 9 | EE | Christophe Raffalli, Paul Rozière: PhoX. The Seventeen Provers of the World 2006: 67-71 |
| 2004 | ||
| 8 | EE | René David, Christophe Raffalli: An experiment concerning mathematical proofs on computers with French undergraduate students. J. Applied Logic 2(2): 219-239 (2004) |
| 7 | EE | Christophe Raffalli: Getting results from programs extracted from classical proofs. Theor. Comput. Sci. 323(1-3): 49-70 (2004) |
| 2003 | ||
| 6 | EE | Christophe Raffalli: System ST \beta-reduction and completeness. LICS 2003: 21- |
| 5 | EE | Christophe Raffalli: System ST toward a type system for extraction and proofs of programs. Ann. Pure Appl. Logic 122(1-3): 107-130 (2003) |
| 4 | EE | Karim Nour, Christophe Raffalli: Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic. Theor. Comput. Sci. 308(1-3): 227-237 (2003) |
| 2001 | ||
| 3 | EE | Christophe Raffalli: Completeness, minimal logic and programs extraction. Theor. Comput. Sci. 254(1-2): 259-271 (2001) |
| 1998 | ||
| 2 | Christophe Raffalli: A Semantical Storage Operator Theorem for All Types. Ann. Pure Appl. Logic 91(1): 17-31 (1998) | |
| 1993 | ||
| 1 | Christophe Raffalli: Data Types, Infinity and Equality in System AF2. CSL 1993: 280-294 | |
| 1 | René David | [8] |
| 2 | Karim Nour | [4] |
| 3 | Paul Rozière | [9] |
| 4 | Frédéric Ruyer | [10] |