| Lambda-calcul: types et modèles JL Krivine (No Title), 1990 | 464 | 1990 |
| Lambda-calculus, types and models JL Krivine Ellis Horwood, 1993 | 381 | 1993 |
| Lois stables et espaces J Bretagnolle, D Dacunha Castelle, JL Krivine Annales de l'institut Henri Poincaré. Section B. Calcul des probabilités et …, 1966 | 379 | 1966 |
| Anneaux préordonnés JL Krivine Journal d'analyse mathématique 12, p. 307-326, 1964 | 313 | 1964 |
| A call-by-name lambda-calculus machine JL Krivine Higher-order and symbolic computation 20, 199-207, 2007 | 264 | 2007 |
| Sous-espaces de dimension finie des espaces de Banach réticulés JL Krivine Annals of Mathematics 116, 1 - 29, 1976 | 231 | 1976 |
| Espaces de Banach stables JL Krivine, B Maurey Israel Journal of Mathematics 39, 273-295, 1981 | 217 | 1981 |
| Constantes de Grothendieck et fonctions de type positif sur les spheres JL Krivine Séminaire Maurey-Schwartz, 1-17, 1978 | 208 | 1978 |
| Application des ultraproduits à l'étude des espaces et des algèbres de Banach D Dacunha-Castelle, JL Krivine Studia Mathematica 41 (3), 315-334, 1972 | 188 | 1972 |
| Realizability in classical logic JL Krivine Panoramas et synthèses 27, 197-229, 2009 | 180 | 2009 |
| Théoremes de factorisation dans les espaces réticulés JL Krivine Séminaire Maurey-Schwartz, 1-22, 1973 | 155 | 1973 |
| Dependent choice,quote'and the clock JL Krivine Theoretical Computer Science 308 (1-3), 259-276, 2003 | 139 | 2003 |
| Typed lambda-calculus in classical Zermelo-Fraenkel set theory JL Krivine Archive for Mathematical Logic 40 (3), 189-205, 2001 | 138 | 2001 |
| Remarks on the Poisson process U Grenander, S Guber, K Jacobs, DA Kappos, HG Kellerer, DG Kendall, ... Symposium on Probability Methods in Analysis, 280-286, 1967 | 130 | 1967 |
| Classical logic, storage operators and second-order lambda-calculus JL Krivine Annals of Pure and Applied Logic 68 (1), 53-78, 1994 | 122 | 1994 |
| Théorie axiomatique des ensembles JL Krivine (No Title), 1969 | 113 | 1969 |
| Introduction to axiomatic set theory JL Krivine Springer Science & Business Media, 2012 | 103 | 2012 |
| Théorie des ensembles JL Krivine Cassini, 2007 | 93 | 2007 |
| Opérateurs de mise en mémoire et traduction de Gödel JL Krivine Archive for Mathematical Logic 30, 241-267, 1990 | 82 | 1990 |
| Realizability algebras: a program to well order R JL Krivine Logical methods in computer science 7, 2011 | 65 | 2011 |
