| Publication | Date of Publication | Type |
|---|
| A note about Grothendieck's constant | 2023-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5155683 | 2021-10-08 | Paper |
| A program for the full axiom of choice | 2020-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967707 | 2019-07-10 | Paper |
| Realizability algebras III: some examples | 2018-01-04 | Paper |
| Bar recursion in classical realisability : dependent choice and continuum hypothesis | 2017-07-19 | Paper |
| On the structure of classical realizability models of ZF | 2017-07-12 | Paper |
| Realizability algebras II : new models of ZF + DC | 2012-04-03 | Paper |
| Realizability algebras: a program to well order R | 2012-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075442 | 2011-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3564946 | 2010-05-27 | Paper |
| A call-by-name lambda-calculus machine | 2007-12-17 | Paper |
| Dependent choice, `quote' and the clock | 2004-10-27 | Paper |
| Typed lambda-calculus in classical Zermelo-Fraenkel set theory | 2002-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753680 | 2001-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756690 | 2001-11-18 | Paper |
| Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique | 1997-09-11 | Paper |
| About classical logic and imperative programming | 1997-06-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4297779 | 1995-12-02 | Paper |
| Classical logic, storage operators and second-order lambda-calculus | 1995-06-13 | Paper |
| A general storage theorem for integers in call-by-name \(\lambda\)- calculus | 1995-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4274979 | 1993-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3997016 | 1992-09-17 | Paper |
| Lambda-calcul, évaluation paresseuse et mise en mémoire | 1991-01-01 | Paper |
| Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation) | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3477935 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3816051 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3724311 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3732316 | 1984-01-01 | Paper |
| Espaces de Banach stables | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663854 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3889570 | 1980-01-01 | Paper |
| Constantes de Grothendieck et fonctions de type positif sur les sphères | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3854159 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4193942 | 1978-01-01 | Paper |
| Sous-espaces de \(L^1\) | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4129979 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4142375 | 1977-01-01 | Paper |
| Sous-espaces de dimension finie des espaces de Banach reticules | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4048019 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4056542 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4061507 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067579 | 1975-01-01 | Paper |
| Langages à valeurs réelles et applications | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4048075 | 1974-01-01 | Paper |
| Forcing and generalized quantifiers | 1973-01-01 | Paper |
| Application des ultraproduits à l'étude des espaces et des algèbres de Banach | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5648331 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5658089 | 1972-01-01 | Paper |
| Introduction to axiomatic set theory | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5623682 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5638317 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5614911 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5563359 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572327 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5522915 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5536619 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5545803 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5514858 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5515713 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5516393 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5669761 | 1965-01-01 | Paper |
| Anneaux preordonnes | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5730197 | 1964-01-01 | Paper |
