| Publication | Date of Publication | Type |
|---|
| On natural deduction for Herbrand constructive logics. II: Curry-Howard correspondence for Markov's principle in first-order logic and arithmetic | 2026-02-20 | Paper |
| scientific article; zbMATH DE number 7526053 (Why is no real title available?) | 2022-05-12 | Paper |
scientific article; zbMATH DE number 7526053 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-12 | Paper |
| scientific article; zbMATH DE number 7447733 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447733 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
| scientific article; zbMATH DE number 7447750 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447750 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
| scientific article; zbMATH DE number 7393562 (Why is no real title available?) | 2021-09-09 | Paper |
scientific article; zbMATH DE number 7393562 (Why is no real title available?)
(available as arXiv preprint) | 2021-09-09 | Paper |
| Interactive realizability and the elimination of Skolem functions in Peano arithmetic | 2021-04-27 | Paper |
Interactive realizability and the elimination of Skolem functions in Peano arithmetic
(available as arXiv preprint) | 2021-04-27 | Paper |
| Interactive learning based realizability and 1-backtracking games | 2021-03-03 | Paper |
Interactive learning based realizability and 1-backtracking games
(available as arXiv preprint) | 2021-03-03 | Paper |
| Gödel logic. From natural deduction to parallel computation | 2021-01-19 | Paper |
Gödel logic. From natural deduction to parallel computation
(available as arXiv preprint) | 2021-01-19 | Paper |
On the concurrent computational content of intermediate logics
Theoretical Computer Science | 2020-04-21 | Paper |
Expansion trees with cut
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains
(available as arXiv preprint) | 2018-03-20 | Paper |
| Disjunctive Axioms and Concurrent $\lambda$-Calculi: a Curry-Howard Approach | 2018-02-03 | Paper |
Constructive forcing, CPS translations and witness extraction in interactive realizability
Mathematical Structures in Computer Science | 2017-09-28 | Paper |
Game semantics and the geometry of backtracking: a new complexity analysis of interaction
Journal of Symbolic Logic | 2017-08-03 | Paper |
On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \(\mathsf {LC}\)
Logical Methods in Computer Science | 2017-04-11 | Paper |
| scientific article; zbMATH DE number 6694177 (Why is no real title available?) | 2017-03-13 | Paper |
| Realizability and strong normalization for a Curry-Howard interpretation of HA + EM1 | 2017-02-02 | Paper |
| On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic | 2016-12-16 | Paper |
Interactive realizability for second-order Heyting arithmetic with EM1 and SK1
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
Theoretical Computer Science | 2016-04-01 | Paper |
| A new use of Friedman's translation: interactive realizability | 2014-06-24 | Paper |
Non-determinism, non-termination and the strong normalization of System T
Lecture Notes in Computer Science | 2013-06-28 | Paper |
Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness
Annals of Pure and Applied Logic | 2013-04-15 | Paper |
| Interactive realizability for classical Peano arithmetic with Skolem axioms | 2012-11-22 | Paper |
A constructive analysis of learning in Peano arithmetic
Annals of Pure and Applied Logic | 2012-09-26 | Paper |
| Transfinite update procedures for predicative systems of analysis | 2012-09-18 | Paper |
| Learning, Realizability and Games in Classical Arithmetic | 2010-12-22 | Paper |
Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\)
Logical Methods in Computer Science | 2010-09-21 | Paper |
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1
Lecture Notes in Computer Science | 2009-07-07 | Paper |
| A term assignment for polarized bi-intuitionistic logic and its strong normalization | 2008-11-03 | Paper |
