Skip to Main content Skip to Navigation


...
hal-02859846v3  Journal articles
Jean-Louis Krivine. A program for the full axiom of choice
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (3), pp. 21:1-21:22
...
hal-00497587v1  Journal articles
Jean-Louis Krivine. Realizability algebras II : new models of ZF + DC
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), pp.10. ⟨10.2168/LMCS-8(1:10)2012⟩
...
cel-00574575v1  Lectures
Jean-Louis Krivine. Lambda-calculus types and models
DEA. Université Paris 7, 2002, pp.208
...
cel-00154509v1  Lectures
Jean-Louis Krivine. Realizability: a machine for Analysis and Set Theory
École thématique. Université de Luminy Février 2006, 2006, pp.106
...
hal-00165658v1  Journal articles
Jean-Louis Krivine. Anneaux préordonnés
Journal d'analyse mathématique, Springer, 1964, 12, p. 307-326