Lambda-calcul: types et modèles JL Krivine
(No Title), 1990
465 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
381 1966 Anneaux préordonnés JL Krivine
Journal d'analyse mathématique 12, p. 307-326, 1964
308 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
180 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
111 1969 Introduction to axiomatic set theory JL Krivine
Springer Science & Business Media, 2012
104 2012 Théorie des ensembles JL Krivine
Cassini, 2007
90 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