Search the dblp DataBase

Publications of Author

1. Christophe Raffalli
   Data Types, Infinity and Equality in System AF₂. [Citation Graph (0, 0)][DBLP]
   CSL, 1993, pp:280-294 [Conf]
   
2. Christophe Raffalli
   System ST \beta-reduction and completeness. [Citation Graph (0, 0)][DBLP]
   LICS, 2003, pp:21-0 [Conf]
   
3. Christophe Raffalli, Paul Rozière
   PhoX. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:67-71 [Conf]
   
4. Christophe Raffalli
   System ST toward a type system for extraction and proofs of programs. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:107-130 [Journal]
   
5. Christophe Raffalli
   A Semantical Storage Operator Theorem for All Types. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1998, v:91, n:1, pp:17-31 [Journal]
   
6. René David, Christophe Raffalli
   An experiment concerning mathematical proofs on computers with French undergraduate students. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2004, v:2, n:2, pp:219-239 [Journal]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2003, v:308, n:1-3, pp:227-237 [Journal]
   
8. Christophe Raffalli
   Completeness, minimal logic and programs extraction. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2001, v:254, n:1-2, pp:259-271 [Journal]
   
9. Christophe Raffalli
   Getting results from programs extracted from classical proofs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:323, n:1-3, pp:49-70 [Journal]
   
10. 
    Some properties of random lambda terms [Citation Graph (, )][DBLP]