| Publication | Date of Publication | Type |
|---|
| Higher-order games with dependent types | 2023-09-18 | Paper |
| On rational choice and the representation of decision problems | 2022-03-09 | Paper |
| On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem | 2022-02-09 | Paper |
| Double negation semantics for generalisations of Heyting algebras | 2021-04-27 | Paper |
| A parametrised functional interpretation of Heyting arithmetic | 2021-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4964696 | 2021-03-03 | Paper |
| On the Borel-Cantelli Lemmas, the Erd\H{o}s-R\'enyi Theorem, and the Kochen-Stone Theorem | 2020-12-17 | Paper |
| On the Herbrand functional interpretation | 2020-05-29 | Paper |
| On the Herbrand Functional Interpretation | 2019-12-03 | Paper |
| Negative Translations for Affine and Lukasiewicz Logic | 2019-11-29 | Paper |
| An analysis of the Podelski–Rybalchenko termination theorem via bar recursion | 2019-07-29 | Paper |
| Higher-order decision theory | 2018-10-25 | Paper |
| A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM | 2018-05-02 | Paper |
| THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT | 2017-08-03 | Paper |
| Unifying Functional Interpretations: Past and Future | 2017-07-11 | Paper |
| A general framework for sound and complete Floyd-Hoare logics | 2015-09-17 | Paper |
| BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS | 2015-05-20 | Paper |
| A Hoare logic for linear systems | 2014-11-11 | Paper |
| A Higher-order Framework for Decision Problems and Games | 2014-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4981448 | 2014-06-24 | Paper |
| On Pocrims and Hoops | 2014-04-03 | Paper |
| On Affine Logic and {\L}ukasiewicz Logic | 2014-04-02 | Paper |
| (Dual) Hoops Have Unique Halving | 2013-04-16 | Paper |
| Hoops, Coops and the Algebraic Semantics of Continuous Logic | 2012-12-12 | Paper |
| System T and the product of selection functions | 2012-09-18 | Paper |
| On Spector's bar recursion | 2012-09-12 | Paper |
| On bounded functional interpretations | 2012-06-01 | Paper |
| Hybrid functional interpretations of linear and intuitionistic logic | 2012-05-07 | Paper |
| The Peirce translation | 2012-03-29 | Paper |
| Sequential games and optimal strategies | 2011-12-17 | Paper |
| Functional Interpretations of Intuitionistic Linear Logic | 2011-05-26 | Paper |
| Proof interpretations with truth | 2011-01-10 | Paper |
| Computational Interpretations of Analysis via Products of Selection Functions | 2010-07-29 | Paper |
| The Peirce Translation and the Double Negation Shift | 2010-07-29 | Paper |
| Selection functions, bar recursion and backward induction | 2010-05-17 | Paper |
| Functional interpretations of linear and intuitionistic logic | 2010-04-22 | Paper |
| Confined modified realizability | 2010-02-16 | Paper |
| Functional Interpretations of Intuitionistic Linear Logic | 2009-11-12 | Paper |
| Hoare Logic in the Abstract | 2009-03-12 | Paper |
| Computational Interpretations of Classical Linear Logic | 2009-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3532205 | 2008-11-03 | Paper |
| Hybrid Functional Interpretations | 2008-06-19 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| Unifying functional interpretations | 2007-02-15 | Paper |
| Bounded functional interpretation and feasible analysis | 2007-02-14 | Paper |
| Modified bar recursion | 2006-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702662 | 2005-11-02 | Paper |
| Bounded functional interpretation | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681899 | 2005-06-08 | Paper |
| On the Computational Complexity of Best L1-approximation | 2003-05-29 | Paper |
| Proof mining in \(L_{1}\)-approximation | 2003-05-22 | Paper |
