1. The Algorithmic-Device View of Informal Rigorous Mathematical Proof;Handbook of the History and Philosophy of Mathematical Practice;2024
2. Intuition, Iteration, Induction;Philosophia Mathematica;2023-11-10
3. Quantum neural networks with multi-qubit potentials;Scientific Reports;2023-06-05
4. Intentional Semantics for Molecular Biology;Advances in Bioinformatics and Computational Biology;2023
5. What Can Be Computed;Programs as Diagrams;2023