The following pages link to Jean-Louis Krivine (Q206560):
Displaying 50 items.
- Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation) (Q923069) (← links)
- (Q1227131) (redirect page) (← links)
- Sous-espaces de dimension finie des espaces de Banach reticules (Q1227132) (← links)
- Sous-espaces de \(L^1\) (Q1232782) (← links)
- Constantes de Grothendieck et fonctions de type positif sur les sphères (Q1260568) (← links)
- Classical logic, storage operators and second-order lambda-calculus (Q1326769) (← links)
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740) (← links)
- About classical logic and imperative programming (Q1817076) (← links)
- Espaces de Banach stables (Q1836122) (← links)
- Dependent choice, `quote' and the clock (Q1884884) (← links)
- Anneaux preordonnes (Q2395891) (← links)
- A call-by-name lambda-calculus machine (Q2464723) (← links)
- Introduction to axiomatic set theory (Q2544610) (← links)
- (Q2753680) (← links)
- (Q2756690) (← links)
- Realizability algebras II : new models of ZF + DC (Q2881077) (← links)
- (Q3075442) (← links)
- Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique (Q3128482) (← links)
- Lambda-calcul, évaluation paresseuse et mise en mémoire (Q3204440) (← links)
- Realizability algebras: a program to well order R (Q3224668) (← links)
- (Q3477935) (← links)
- (Q3564946) (← links)
- (Q3663854) (← links)
- (Q3724311) (← links)
- (Q3732316) (← links)
- (Q3816051) (← links)
- (Q3854159) (← links)
- (Q3889570) (← links)
- (Q3997016) (← links)
- Langages à valeurs réelles et applications (Q4043066) (← links)
- (Q4048019) (← links)
- (Q4048075) (← links)
- (Q4056542) (← links)
- (Q4061507) (← links)
- (Q4067579) (← links)
- (Q4129979) (← links)
- (Q4142375) (← links)
- (Q4193942) (← links)
- (Q4274979) (← links)
- (Q4297779) (← links)
- Realizability algebras III: some examples (Q4599612) (← links)
- (Q4967707) (← links)
- (Q5155683) (← links)
- Application des ultraproduits à l'étude des espaces et des algèbres de Banach (Q5183999) (← links)
- On the structure of classical realizability models of ZF (Q5277975) (← links)
- Bar recursion in classical realisability : dependent choice and continuum hypothesis (Q5278411) (← links)
- (Q5514858) (← links)
- (Q5515713) (← links)
- (Q5516393) (← links)
- (Q5522915) (← links)
