The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christophe Raffalli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christophe Raffalli
    Data Types, Infinity and Equality in System AF2. [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]


Search in 0.023secs, Finished in 0.024secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002