 | 2009 |
|---|
| 11 |       | René David,
Christophe Raffalli,
Guillaume Theyssier,
Katarzyna Grygiel,
Jakub Kozik,
Marek Zaionc:
Some properties of random lambda terms
CoRR abs/0903.5505: (2009) |
| 2008 |
|---|
| 10 | | 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 | | Christophe Raffalli,
Paul Rozière:
PhoX.
The Seventeen Provers of the World 2006: 67-71 |
| 2004 |
|---|
| 8 | | René David,
Christophe Raffalli:
An experiment concerning mathematical proofs on computers with French undergraduate students.
J. Applied Logic 2(2): 219-239 (2004) |
| 7 | | Christophe Raffalli:
Getting results from programs extracted from classical proofs.
Theor. Comput. Sci. 323(1-3): 49-70 (2004) |
| 2003 |
|---|
| 6 | | Christophe Raffalli:
System ST \beta-reduction and completeness.
LICS 2003: 21- |
| 5 | | 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 | | 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 | | 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 |
