| 2006 | Bhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. | Thomas Ehrhard, Laurent Regnier |
| 2006 | LJQ: A Strongly Focused Calculus for Intuitionistic Logic. | Roy Dyckhoff, Stphane Lengrand |
| 2006 | Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal. | Jrme Durand-Lose |
| 2006 | Every Sequence Is Decompressible from a Random One. | David Doty |
| 2006 | Turing Universality in Dynamical Systems. | Jean-Charles Delvenne |
| 2006 | Gdel and the Origins of Computer Science. | John W. Dawson Jr. |
| 2006 | The Church-Turing Thesis: Consensus and Opposition. | Martin Davis |
| 2006 | On the Complexity of the Sperner Lemma. | Stefan S. Dantchev |
| 2006 | Partial Continuous Functions and Admissible Domain Representations. | Fredrik Dahlgren |
| 2006 | Prefix-Like Complexities and Computability in the Limit. | Alexey V. Chernov, Jrgen Schmidhuber |
| 2006 | Logspace Complexity of Functions and Structures. | Douglas Cenzer, Zia Uddin |
| 2006 | The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. | Gregorio de Miguel Casado, Juan Manuel Garca Chamizo |
| 2006 | Deep Inference and Its Normal Form of Derivations. | Kai Brnnler |
| 2006 | Random Closed Sets. | Paul Brodhead, Douglas Cenzer, Seyyed Dashti |
| 2006 | Elementary Algebraic Specifications of the Rational Function Field. | Jan A. Bergstra |
| 2006 | The Logical Strength of the Uniform Continuity Theorem. | Josef Berger |
| 2006 | Datatype-Generic Reasoning. | Roland Carl Backhouse |
| 2006 | From Constructibility and Absoluteness to Computability and Domain Independence. | Arnon Avron |
| 2006 | Heap-Abstraction for an Object-Oriented Calculus with Thread Classes. | Erika brahm, Andreas Grner, Martin Steffen |
| 2005 | Computability and Continuity on the Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism. | Martin Ziegler |
| 2005 | Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation. | Ning Zhong |
| 2005 | Complexity of Continuous Space Machine Operations. | Damien Woods, J. Paul Gibson |
| 2005 | The Transfinite Action of 1 Tape Turing Machines. | Philip D. Welch |
| 2005 | Computable Analysis. | Klaus Weihrauch |
| 2005 | A Network Model of Analogue Computation over Metric Algebras. | John V. Tucker, Jeffery I. Zucker |