| Publication | Date of Publication | Type |
|---|
| Program extraction from classical proofs | 2023-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6135768 | 2023-08-26 | Paper |
| On the Computational Content of Choice Principles | 2023-08-11 | Paper |
| Concurrent Gaussian Elimination | 2023-08-04 | Paper |
| Extracting total Amb programs from proofs | 2023-08-03 | Paper |
| \textsc{Prawf}: an interactive proof system for program extraction | 2022-12-16 | Paper |
| Martin Hofmann's Case for Non-Strictly Positive Data Types | 2022-07-21 | Paper |
| Intuitionistic fixed point logic | 2021-01-25 | Paper |
| Logic for Gray-code Computation | 2020-04-03 | Paper |
| Program extraction applied to monadic parsing | 2019-07-29 | Paper |
| The greatest common divisor: A case study for program extraction from classical proofs | 2019-01-15 | Paper |
| Undecidability of equality for codata types | 2018-10-23 | Paper |
| Optimized program extraction for induction and coinduction | 2018-09-06 | Paper |
| A realizability interpretation of Church's simple theory of types | 2017-11-22 | Paper |
| A coinductive approach to computing with compact sets | 2017-04-10 | Paper |
| Extracting Imperative Programs from Proofs: In-place Quicksort | 2017-03-13 | Paper |
| Typed vs. Untyped Realizability | 2016-07-08 | Paper |
| Extracting a DPLL Algorithm | 2016-07-08 | Paper |
| Extracting verified decision procedures: DPLL and Resolution | 2015-03-11 | Paper |
| Uniform Schemata for Proof Rules | 2015-02-25 | Paper |
| Proofs, programs, processes | 2012-12-07 | Paper |
| Realisability and adequacy for (co)induction | 2012-09-28 | Paper |
| Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras | 2011-09-02 | Paper |
| From coinductive proofs to exact real arithmetic: theory and applications | 2011-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3081640 | 2011-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3075213 | 2011-02-10 | Paper |
| Proofs, Programs, Processes | 2010-07-29 | Paper |
| Domain representations of spaces of compact subsets | 2010-05-17 | Paper |
| From Coinductive Proofs to Exact Real Arithmetic | 2009-11-12 | Paper |
| Coinduction for exact real number computation | 2009-05-08 | Paper |
| A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ | 2009-05-08 | Paper |
| A domain model characterising strong normalisation | 2008-12-05 | Paper |
| Classical truth in higher types | 2008-06-12 | Paper |
| Strong normalisation for applied lambda calculi | 2007-10-11 | Paper |
| Continuous semantics for strong normalisation | 2007-02-09 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| Modified bar recursion | 2006-08-10 | Paper |
| Program extraction from normalization proofs | 2006-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718567 | 2006-01-16 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5702662 | 2005-11-02 | Paper |
| Uniform Heyting arithmetic | 2005-04-21 | Paper |
| An arithmetic for non-size-increasing polynomial-time computation | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436027 | 2003-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428700 | 2003-09-22 | Paper |
| Term rewriting for normalization by evaluation. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524766 | 2003-07-29 | Paper |
| Computability and totality in domains | 2002-10-31 | Paper |
| Refined program extraction from classical proofs | 2002-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499149 | 2001-03-06 | Paper |
| The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction | 2001-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938550 | 2000-02-23 | Paper |
| Density theorems for the domains-with-totality semantics of dependent types | 1999-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5687233 | 1997-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4883280 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4842532 | 1995-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281467 | 1994-05-15 | Paper |
| Total sets and objects in domain theory | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3360172 | 1990-01-01 | Paper |
