Search the dblp DataBase
Jean-Louis Krivine :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Vincent Danos , Jean-Louis Krivine Disjunctive Tautologies as Synchronisation Schemes. [Citation Graph (0, 0)][DBLP ] CSL, 2000, pp:292-301 [Conf ] Jean-Louis Krivine The Curry-Howard Correspondence in Set Theory. [Citation Graph (0, 0)][DBLP ] LICS, 2000, pp:307-308 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Jean-Louis Krivine , Yves Legrandgérard Valid formulas, games and network protocols [Citation Graph (0, 0)][DBLP ] CoRR, 2007, v:0, n:, pp:- [Journal ] Typed lambda-calculus in classical Zermelo-Frænkel set theory. [Citation Graph (, )][DBLP ] Structures de réalisabilité, RAM et ultrafiltre sur N [Citation Graph (, )][DBLP ] Algèbres de réalisabilité: un programme pour bien ordonner R [Citation Graph (, )][DBLP ] Realizability algebras: a program to well order R [Citation Graph (, )][DBLP ] Realizability algebras II : new models of ZF + DC [Citation Graph (, )][DBLP ] Search in 0.013secs, Finished in 0.014secs