| 2022 | Enumerating Classes of Effective Quasi-Polish Spaces. | Matthew de Brecht, Takayuki Kihara, Victor L. Selivanov |
| 2022 | Programming with Ordinary Differential Equations: Some First Steps Towards a Programming Language. | Olivier Bournez |
| 2022 | Maximal Ideals in Countable Rings, Constructively. | Ingo Blechschmidt, Peter Schuster |
| 2022 | Well-Orders Realized by C.E. Equivalence Relations. | Nikolay Bazhenov, Maxim V. Zubkov |
| 2022 | Calculating the Mind Change Complexity of Learning Algebraic Structures. | Nikolay Bazhenov, Vittorio Cipriani, Luca San Mauro |
| 2021 | Einstein Meets Turing: The Computability of Nonlocal Games. | Henry Yuen |
| 2021 | An Algorithmic Version of Zariski's Lemma. | Franziskus Wiesnet |
| 2021 | Constructive Mathematics, Church's Thesis, and Free Choice Sequences. | D. A. Turner |
| 2021 | Pter on Church's Thesis, Constructivity and Computers. | Mt Szab |
| 2021 | Simple Betting and Stochasticity. | Tomasz Steifer |
| 2021 | Effective Inseparability and Its Applications. | Andrea Sorbi |
| 2021 | Non-collapse of the Effective Wadge Hierarchy. | Victor L. Selivanov |
| 2021 | Splittings and Robustness for the Heine-Borel Theorem. | Sam Sanders |
| 2021 | Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori. | Lo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki |
| 2021 | Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations. | Jean-Yves Moyen, Jakob Grue Simonsen |
| 2021 | Minimum Classical Extensions of Constructive Theories. | Joan Rand Moschovakis, Garyfallia Vafeiadou |
| 2021 | Computable Procedures for Fields. | Russell Miller |
| 2021 | Compression Techniques in Group Theory. | Markus Lohrey |
| 2021 | Complexity and Categoricity of Injection Structures Induced by Finite State Transducers. | Richard Krogman, Douglas Cenzer |
| 2021 | On Subrecursive Representation of Irrational Numbers: Contractors and Baire Sequences. | Lars Kristiansen |
| 2021 | On Preserving the Computational Content of Mathematical Proofs: Toy Examples for a Formalising Strategy. | Angeliki Koutsoukou-Argyraki |
| 2021 | Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes. | Timo Ktzing, Karen Seidel |
| 2021 | In Search of the First-Order Part of Ramsey's Theorem for Pairs. | Leszek Aleksander Kolodziejczyk, Keita Yokoyama |
| 2021 | KL-Randomness and Effective Dimension Under Strong Reducibility. | Bjrn Kjos-Hanssen, David J. Webb |
| 2021 | Towards a Map for Incremental Learning in the Limit from Positive and Negative Information. | Ardalan Khazraei, Timo Ktzing, Karen Seidel |