| Publication | Date of Publication | Type |
|---|
| A note about Grothendieck's constant | 2023-05-26 | Paper |
scientific article; zbMATH DE number 7407793 (Why is no real title available?)
(available as arXiv preprint) | 2021-10-08 | Paper |
| scientific article; zbMATH DE number 7407793 (Why is no real title available?) | 2021-10-08 | Paper |
A program for the full axiom of choice
(available as arXiv preprint) | 2020-06-09 | Paper |
| scientific article; zbMATH DE number 7078771 (Why is no real title available?) | 2019-07-10 | Paper |
Realizability algebras III: some examples
Mathematical Structures in Computer Science | 2018-01-04 | Paper |
Bar recursion in classical realisability: dependent choice and continuum hypothesis
(available as arXiv preprint) | 2017-07-19 | Paper |
On the structure of classical realizability models of ZF
(available as arXiv preprint) | 2017-07-12 | Paper |
Realizability algebras. II: New models of \(\mathrm{ZF} + \mathrm{DC}\)
Logical Methods in Computer Science | 2012-04-03 | Paper |
Realizability algebras: a program to well order \(\mathbb R\)
Logical Methods in Computer Science | 2012-04-02 | Paper |
| scientific article; zbMATH DE number 5851813 (Why is no real title available?) | 2011-02-15 | Paper |
| Interactive models of computation and program behavior | 2010-05-27 | Paper |
A call-by-name lambda-calculus machine
Higher-Order and Symbolic Computation | 2007-12-17 | Paper |
Dependent choice, `quote' and the clock
Theoretical Computer Science | 2004-10-27 | Paper |
Typed lambda-calculus in classical Zermelo-Fraenkel set theory
Archive for Mathematical Logic | 2002-07-18 | Paper |
| scientific article; zbMATH DE number 1670484 (Why is no real title available?) | 2001-12-03 | Paper |
Set theory
Nouvelle Bibliothèque Mathématique | 2001-11-18 | Paper |
Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
The Bulletin of Symbolic Logic | 1997-09-11 | Paper |
About classical logic and imperative programming
Annals of Mathematics and Artificial Intelligence | 1997-06-15 | Paper |
| scientific article; zbMATH DE number 599579 (Why is no real title available?) | 1995-12-02 | Paper |
Classical logic, storage operators and second-order lambda-calculus
Annals of Pure and Applied Logic | 1995-06-13 | Paper |
A general storage theorem for integers in call-by-name \(\lambda\)- calculus
Theoretical Computer Science | 1995-05-18 | Paper |
| scientific article; zbMATH DE number 482822 (Why is no real title available?) | 1993-12-15 | Paper |
| scientific article; zbMATH DE number 46869 (Why is no real title available?) | 1992-09-17 | Paper |
Lambda-calcul, évaluation paresseuse et mise en mémoire
RAIRO - Theoretical Informatics and Applications | 1991-01-01 | Paper |
Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
Archive for Mathematical Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4147469 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4087627 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3954885 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3964699 (Why is no real title available?) | 1984-01-01 | Paper |
Espaces de Banach stables
Israel Journal of Mathematics | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3816367 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3695842 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3695842 (Why is no real title available?) | 1980-01-01 | Paper |
Constantes de Grothendieck et fonctions de type positif sur les sphères
Advances in Mathematics | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3654785 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633128 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3633128 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3571163 (Why is no real title available?) | 1977-01-01 | Paper |
Sous-espaces de \(L^1\)
Israel Journal of Mathematics | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3556740 (Why is no real title available?) | 1977-01-01 | Paper |
Sous-espaces de dimension finie des espaces de Banach reticules
Annals of Mathematics. Second Series | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3477861 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3462536 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3471054 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3484641 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3484641 (Why is no real title available?) | 1975-01-01 | Paper |
Langages à valeurs réelles et applications
Fundamenta Mathematicae | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3462614 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3462614 (Why is no real title available?) | 1974-01-01 | Paper |
Forcing and generalized quantifiers
Annals of Mathematical Logic | 1973-01-01 | Paper |
Application des ultraproduits à l'étude des espaces et des algèbres de Banach
Studia Mathematica | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3389023 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3377188 (Why is no real title available?) | 1972-01-01 | Paper |
Introduction to axiomatic set theory
Synthese Library | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3348095 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3365262 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3365262 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3337980 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3279143 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3290304 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3249766 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3257717 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3235223 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3226529 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3226529 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3403210 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3227417 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3228133 (Why is no real title available?) | 1965-01-01 | Paper |
Anneaux preordonnes
Journal d'Analyse Mathématique | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3193809 (Why is no real title available?) | 1964-01-01 | Paper |
