| Publication | Date of Publication | Type |
|---|
How to avoid the commuting conversions of \textbf{IPC}
Theoretical Computer Science | 2025-02-26 | Paper |
Herbrandized modified realizability
Archive for Mathematical Logic | 2024-07-02 | Paper |
scientific article; zbMATH DE number 7577586 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577586 (Why is no real title available?) | 2022-08-30 | Paper |
The Russell-Prawitz embedding and the atomization of universal instantiation
Logic Journal of the IGPL | 2021-12-03 | Paper |
Typability and Type Inference in Atomic Polymorphism
(available as arXiv preprint) | 2021-04-28 | Paper |
| On various negative translations | 2021-03-03 | Paper |
On various negative translations
(available as arXiv preprint) | 2021-03-03 | Paper |
A refined interpretation of intuitionistic logic by means of atomic polymorphism
Studia Logica | 2020-06-09 | Paper |
| Techniques in weak analysis for conservation results | 2020-03-30 | Paper |
The computational content of atomic polymorphism
Logic Journal of the IGPL | 2019-11-04 | Paper |
| Analysis in weak systems | 2019-07-24 | Paper |
\(\eta\)-conversions of IPC implemented in atomic F
Logic Journal of the IGPL | 2019-01-08 | Paper |
Atomic polymorphism and the existence property
Annals of Pure and Applied Logic | 2018-10-18 | Paper |
| scientific article; zbMATH DE number 6854890 (Why is no real title available?) | 2018-03-29 | Paper |
| scientific article; zbMATH DE number 6854910 (Why is no real title available?) | 2018-03-29 | Paper |
A herbrandized functional interpretation of classical first-order logic
Archive for Mathematical Logic | 2017-09-15 | Paper |
Rasiowa-Harrop disjunction property
Studia Logica | 2017-07-19 | Paper |
| Instantiation overflow | 2017-04-04 | Paper |
An elementary proof of strong normalization for atomic \(\mathsf F\)
Bulletin of the Section of Logic | 2017-01-27 | Paper |
The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
Studia Logica | 2015-12-07 | Paper |
| scientific article; zbMATH DE number 6307933 (Why is no real title available?) | 2014-06-24 | Paper |
Bounded theories for polyspace computability
Portugaliae Mathematica. Nova Série | 2014-05-16 | Paper |
Interpretability in Robinson's Q
The Bulletin of Symbolic Logic | 2014-01-17 | Paper |
Atomic polymorphism
Journal of Symbolic Logic | 2013-04-23 | Paper |
Atomic polymorphism
Journal of Symbolic Logic | 2013-04-23 | Paper |
On bounded functional interpretations
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Functional interpretations of intuitionistic linear logic
Logical Methods in Computer Science | 2011-05-26 | Paper |
Confined modified realizability
MLQ | 2010-02-16 | Paper |
Commuting conversions vs. the standard conversions of the ``good'' connectives
Studia Logica | 2009-11-16 | Paper |
Functional Interpretations of Intuitionistic Linear Logic
Computer Science Logic | 2009-11-12 | Paper |
The counting hierarchy in binary notation
Portugaliae Mathematica. Nova Série | 2009-03-30 | Paper |
Harrington's conservation theorem redone
Archive for Mathematical Logic | 2008-10-16 | Paper |
| The Riemann integral in weak systems of analysis | 2008-08-08 | Paper |
An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA
Portugaliae Mathematica. Nova Série | 2007-09-05 | Paper |
Counting as integration in feasible analysis
Mathematical Logic Quarterly | 2006-08-30 | Paper |
How to avoid the commuting conversions of IPC
(available as arXiv preprint) | N/A | Paper |
Herbrandized modified realizability
(available as arXiv preprint) | N/A | Paper |
