Lambda-calcul: types et modèles JL Krivine (No Title), 1990 | 463 | 1990 |
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 | 381 | 1966 |
Lambda-calculus, types and models JL Krivine Ellis Horwood, 1993 | 380 | 1993 |
Anneaux préordonnés JL Krivine Journal d'analyse mathématique 12, p. 307-326, 1964 | 307 | 1964 |
A call-by-name lambda-calculus machine JL Krivine Higher-order and symbolic computation 20, 199-207, 2007 | 260 | 2007 |
Sous-espaces de dimension finie des espaces de Banach réticulés JL Krivine Annals of Mathematics 116, 1 - 29, 1976 | 232 | 1976 |
Espaces de Banach stables JL Krivine, B Maurey Israel Journal of Mathematics 39, 273-295, 1981 | 219 | 1981 |
Constantes de Grothendieck et fonctions de type positif sur les spheres JL Krivine Séminaire Maurey-Schwartz, 1-17, 1978 | 209 | 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 | 186 | 1972 |
Realizability in classical logic JL Krivine Panoramas et synthèses 27, 197-229, 2009 | 179 | 2009 |
Théoremes de factorisation dans les espaces réticulés JL Krivine Séminaire Maurey-Schwartz, 1-22, 1973 | 154 | 1973 |
Dependent choice,quote'and the clock JL Krivine Theoretical Computer Science 308 (1-3), 259-276, 2003 | 138 | 2003 |
Typed lambda-calculus in classical Zermelo-Fraenkel set theory JL Krivine Archive for Mathematical Logic 40 (3), 189-205, 2001 | 137 | 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 | 129 | 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 | 110 | 1969 |
Introduction to axiomatic set theory JL Krivine Springer Science & Business Media, 2012 | 104 | 2012 |
Théorie des ensembles JL Krivine Cassini, 2007 | 89 | 2007 |
Opérateurs de mise en mémoire et traduction de Gödel JL Krivine Archive for Mathematical Logic 30, 241-267, 1990 | 84 | 1990 |
Realizability algebras: a program to well order R JL Krivine Logical methods in computer science 7, 2011 | 67 | 2011 |