The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Jean-Louis Krivine: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vincent Danos, Jean-Louis Krivine
    Disjunctive Tautologies as Synchronisation Schemes. [Citation Graph (0, 0)][DBLP]
    CSL, 2000, pp:292-301 [Conf]
  2. Jean-Louis Krivine
    The Curry-Howard Correspondence in Set Theory. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:307-308 [Conf]
  3. Jean-Louis Krivine
    About Classical Logic and Imperative Programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:405-414 [Journal]
  4. Jean-Louis Krivine
    Classical Logic, Storage Operators and Second-Order lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:68, n:1, pp:53-78 [Journal]
  5. Jean-Louis Krivine
    Une preuve formelle et intuitionniste du théorème de complétude de la logique classique. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1996, v:2, n:4, pp:405-421 [Journal]
  6. Jean-Louis Krivine, Michel Parigot
    Programming with Proofs. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1990, v:26, n:3, pp:149-167 [Journal]
  7. Jean-Louis Krivine
    Lambda-calcul, évaluation paresseuse et mise en mémoire. [Citation Graph (0, 0)][DBLP]
    ITA, 1991, v:25, n:, pp:67-84 [Journal]
  8. Jean-Louis Krivine
    Dependent choice, `quote' and the clock. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:308, n:1-3, pp:259-276 [Journal]
  9. Jean-Louis Krivine
    A General Storage Theorem for Integers in Call-by-Name lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:129, n:1, pp:79-94 [Journal]
  10. Jean-Louis Krivine, Yves Legrandgérard
    Valid formulas, games and network protocols [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  11. Typed lambda-calculus in classical Zermelo-Frænkel set theory. [Citation Graph (, )][DBLP]


  12. Structures de réalisabilité, RAM et ultrafiltre sur N [Citation Graph (, )][DBLP]


  13. Algèbres de réalisabilité: un programme pour bien ordonner R [Citation Graph (, )][DBLP]


  14. Realizability algebras: a program to well order R [Citation Graph (, )][DBLP]


  15. Realizability algebras II : new models of ZF + DC [Citation Graph (, )][DBLP]


Search in 0.013secs, Finished in 0.014secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002