| Publication | Date of Publication | Type |
|---|
| An implicit particle code with \textit{exact} energy and charge conservation for studies of dense plasmas in axisymmetric geometries | 2024-11-15 | Paper |
| Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory | 2023-12-09 | Paper |
| IMPS : An interactive mathematical proof system | 2023-04-28 | Paper |
| Simple Type Theory | 2023-04-21 | Paper |
| Redex capturing in term graph rewriting (concise version) | 2022-12-09 | Paper |
| Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge | 2021-04-19 | Paper |
| Leveraging the information contained in theory presentations | 2021-01-20 | Paper |
| Towards specifying symbolic computation | 2020-01-22 | Paper |
| IMPS: An updated system description | 2019-01-15 | Paper |
| Biform theories: project description | 2018-10-18 | Paper |
| HOL Light QE | 2018-10-04 | Paper |
| A new style of mathematical proof | 2018-08-17 | Paper |
| A New Style of Proof for Mathematics Organized as a Network of Axiomatic Theories | 2018-06-03 | Paper |
| Incorporating quotation and evaluation into Church's type theory | 2018-05-30 | Paper |
| Theory morphisms in Church's type theory with quotation and evaluation | 2017-07-21 | Paper |
| Formalizing mathematical knowledge as a biform theory graph: a case study | 2017-07-21 | Paper |
| Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics | 2016-08-30 | Paper |
| MKM | 2016-07-18 | Paper |
| Realms: A Structure for Consolidating Knowledge about Mathematical Theories | 2014-08-07 | Paper |
| Panoptes | 2014-06-27 | Paper |
| Simple Type Theory with Undefinedness, Quotation, and Evaluation | 2014-06-25 | Paper |
| The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation | 2013-08-09 | Paper |
| Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation | 2013-05-27 | Paper |
| MathScheme: Project Description | 2011-07-29 | Paper |
| Andrews' Type Theory with Undefinedness | 2011-03-30 | Paper |
| A Review of Mathematical Knowledge Management | 2009-07-09 | Paper |
| High-Level Theories | 2009-01-27 | Paper |
| The seven virtues of simple type theory | 2008-09-23 | Paper |
| A Rational Reconstruction of a System for Experimental Mathematics | 2007-11-28 | Paper |
| Biform Theories in Chiron | 2007-11-28 | Paper |
| Automated Reasoning | 2007-09-25 | Paper |
| An overview of a formal framework for managing mathematics | 2003-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767940 | 2002-02-14 | Paper |
| STMM: A set theory for mechanized mathematics | 2001-11-07 | Paper |
| A set theory with support for partial functions | 2001-07-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723412 | 2001-07-05 | Paper |
| The Kreisel length-of-proof problem | 1997-05-13 | Paper |
| A simple type theory with partial functions and subtypes | 1996-05-13 | Paper |
| A unification-theoretic method for investigating the \(k\)-provability problem | 1992-06-25 | Paper |
| Simple second-order languages for which unification is undecidable | 1991-01-01 | Paper |
| REDEX CAPTURING IN TERM GRAPH REWRITING | 1990-01-01 | Paper |
| A partial functions version of Church's simple theory of types | 1990-01-01 | Paper |
| A unification algorithm for second-order monadic terms | 1988-01-01 | Paper |
