Kleene's amazing second recursion theorem. To appear in the Bulletin of Symbolic Logic.

Kleene's amazing second recursion theorem (extended abstract), in Springer LNCS # 5771 (2009), ed. E, Grädel and R. Kahle, pp. 24-39.

Elementary algorithms and their implementations , with Vasilis Paschalis, in New Computational Paradigms, ed. S. B. Cooper, Benedikt Lowe and Andrea Sorbi, Springer, 2008, pp. 81 - 118.

Lower bounds for coprimeness and other decision problems in arithmetic, Extended abstract of a 2005  lecture, published in the Proceedings of the Seminaire: de Structures Algebriques Ordonnees,  No 79, (8 pages). [The published version has some unfortunate typos, especially in the references to the bibliography which systematically point to the wrong papers; this version is the correct one.]

Arithmetic complexity , with Lou van den Dries, ACM Transactions on Computational Logic, vol. 10 (2009), pp. 1—49.

Recursion and complexity, in New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings. Springer Lecture Notes in CS. vol. 3526/2005. Editors:  S. Barry Cooper, Benedikt Lowe, Leen Torenvliet.

Αλγοριθμική σημασιολογία: το νόημα ως προσδιορισμός αναφοράς (Algorithmic semantics: meaning as referential intension), with Eleni Kalyvianaki. In Greek. To appear in a volume of articles which will be published by the Greek Mathematical Society. Posted on August 31, 2004.

Is the Euclidean algorithm optimal among its peers?, with Lou van den Dries, The Bulletin of Symbolic Logic, v. 10 (2004), pp. 390 -- 418.

A logical calculus of meaning and synonymy ,  Linguistics and Philosophy, v. 29 (2006), pp. 27 -- 89.

On primitive recursive algorithms and the greatest common divisor function , Theoretical Computer Science, v. 301 (2003), p. 1 -- 30. Postscript file, 24 pages,.

What is an algorithm? Postscript file, 19 pages, Mathematics unlimited -- 2001 and beyond, edited by B. Engquist and W. Schmid, Springer, 2001, pages 919-936.

Mathematical logic Postscript file, 26 pages,  Encyclopedia of Physical Science and Engineering.

The logic of recursive equations , with A. J. Hurkens, Monica McArthur, Lawrence Moss and Glen Whitney. Postscript file, 28 pages. The Journal of Symbolic Logic, vol. 63 (1998), pages 451 - 478.

A game-theoretic, concurrent and fair model of the typed lambda-calculus, with full recursion , Postscript file, 19 pages. Published in Computer Science Logic, 11th Interenational Workshop, CSL '97, edited by Mogens Nielsen and Wolfgang Thomas, Lecture Notes in Computer Science #1414, Springer, 1998, pp. 341 - 359.

On founding the theory of algorithms , Postscript file, 32 pages. Published in Truth in mathematics, edited by H. G. Dales and G. Oliveri, Clarendon Press, Oxford 1998, pp. 71 - 104.

Συνέντευξη στο Quantum (Interview in the Greek edition of Quantum, published in the July-August issue of 1997). In Greek.

The logic of functional recursion , Postscript file, 29 pages. Published in Logic and scientific methods, M. L. Dalla Chiara et al, eds. Kluwer Academic Publishers, 1997, pages 179-207.

Computable concurrent processes , .dvi file, 31 pages. Published in Theoretical Computer Science, v. 139 (1995), pages 243--273.

Powerdomains, powerstructures and fairness , with Glen T. Whitney, .dvi file, 15 pages. Published in Computer Science Logic, L. Pacholski and J. Tiuryn, eds. Springer LNCS #933, 1995, pages 382-396.

Sense and denotation as algorithm and value , Postscript file, 39 pages. In PDF format. Published in Lecture Notes in Logic, #2 (1994), Springer J. Oikkonen and J. Vaananen, eds. pages 210-249. Posted on February 15, 2007: There is a gap in the proof of the main Theorem 4.1 of this paper. Here is a correct (and more detailed) version of this proof, in PDF form.

A mathematical modeling of pure, recursive algorithms , .dvi file, 22 pages. Published in Logic at Botik '89, A. R. Meyer and M. A. Taitslin, eds. LNCS # 363 (1989).