| Publication | Date of Publication | Type |
|---|
| Computing Nash equilibria of unbounded games | 2026-01-14 | Paper |
| Uniform functional interpretations | 2025-11-19 | Paper |
Higher-order games with dependent types
Theoretical Computer Science | 2023-09-18 | Paper |
On rational choice and the representation of decision problems
Games | 2022-03-09 | Paper |
On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
Journal of Logic and Analysis | 2022-02-09 | Paper |
Double negation semantics for generalisations of Heyting algebras
Studia Logica | 2021-04-27 | Paper |
A parametrised functional interpretation of Heyting arithmetic
Annals of Pure and Applied Logic | 2021-03-25 | Paper |
A parametrised functional interpretation of Heyting arithmetic
Annals of Pure and Applied Logic | 2021-03-25 | Paper |
| On various negative translations | 2021-03-03 | Paper |
On various negative translations
(available as arXiv preprint) | 2021-03-03 | Paper |
On the Borel-Cantelli Lemmas, the Erd\H{o}s-R\'enyi Theorem, and the Kochen-Stone Theorem
(available as arXiv preprint) | 2020-12-17 | Paper |
On the Herbrand functional interpretation
Mathematical Logic Quarterly | 2020-05-29 | Paper |
On the Herbrand Functional Interpretation
(available as arXiv preprint) | 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
Journal Of Logic And Computation | 2019-07-29 | Paper |
Higher-order decision theory
(available as arXiv preprint) | 2018-10-25 | Paper |
A direct proof of Schwichtenberg's bar recursion closure theorem
Journal of Symbolic Logic | 2018-05-02 | Paper |
A direct proof of Schwichtenberg's bar recursion closure theorem
Journal of Symbolic Logic | 2018-05-02 | Paper |
The Herbrand functional interpretation of the double negation shift
Journal of Symbolic Logic | 2017-08-03 | Paper |
Unifying functional interpretations: past and future
(available as arXiv preprint) | 2017-07-11 | Paper |
A general framework for sound and complete Floyd-Hoare logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Bar recursion and products of selection functions
Journal of Symbolic Logic | 2015-05-20 | Paper |
A Hoare logic for linear systems
Formal Aspects of Computing | 2014-11-11 | Paper |
| A Higher-order Framework for Decision Problems and Games | 2014-09-25 | Paper |
| scientific article; zbMATH DE number 6307933 (Why is no real title available?) | 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
Automated Reasoning and Mathematics | 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
Mathematical Logic Quarterly (MLQ) | 2012-09-12 | Paper |
On bounded functional interpretations
Annals of Pure and Applied Logic | 2012-06-01 | Paper |
Hybrid functional interpretations of linear and intuitionistic logic
Journal of Logic and Computation | 2012-05-07 | Paper |
The Peirce translation
Annals of Pure and Applied Logic | 2012-03-29 | Paper |
Sequential games and optimal strategies
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2011-12-17 | Paper |
Functional interpretations of intuitionistic linear logic
Logical Methods in Computer Science | 2011-05-26 | Paper |
Proof interpretations with truth
Mathematical Logic Quarterly | 2011-01-10 | Paper |
Computational Interpretations of Analysis via Products of Selection Functions
Programs, Proofs, Processes | 2010-07-29 | Paper |
The Peirce translation and the double negation shift
Programs, Proofs, Processes | 2010-07-29 | Paper |
Selection functions, bar recursion and backward induction
Mathematical Structures in Computer Science | 2010-05-17 | Paper |
Functional interpretations of linear and intuitionistic logic
Information and Computation | 2010-04-22 | Paper |
Confined modified realizability
MLQ | 2010-02-16 | Paper |
Functional Interpretations of Intuitionistic Linear Logic
Computer Science Logic | 2009-11-12 | Paper |
Hoare Logic in the Abstract
Computer Science Logic | 2009-03-12 | Paper |
Computational Interpretations of Classical Linear Logic
Logic, Language, Information and Computation | 2009-03-10 | Paper |
| scientific article; zbMATH DE number 5360217 (Why is no real title available?) | 2008-11-03 | Paper |
Hybrid Functional Interpretations
Logic and Theory of Algorithms | 2008-06-19 | Paper |
Logical Approaches to Computational Barriers
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Unifying functional interpretations
Notre Dame Journal of Formal Logic | 2007-02-15 | Paper |
Bounded functional interpretation and feasible analysis
Annals of Pure and Applied Logic | 2007-02-14 | Paper |
Modified bar recursion
Mathematical Structures in Computer Science | 2006-08-10 | Paper |
| scientific article; zbMATH DE number 2222013 (Why is no real title available?) | 2005-11-02 | Paper |
Bounded functional interpretation
Annals of Pure and Applied Logic | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2174396 (Why is no real title available?) | 2005-06-08 | Paper |
| On the Computational Complexity of Best L1-approximation | 2003-05-29 | Paper |
Proof mining in \(L_{1}\)-approximation
Annals of Pure and Applied Logic | 2003-05-22 | Paper |
