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, to
appear in ACM Transactions on Computational Logic (48 pages).
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).
Notes in set theory (in Greek) . Postscript file of the Title page, Table of Contents and Preface to the Greek version of Notes on Set Theory. The .dvi file of the entire Greek book is posted, but it requires the cl fonts in greektex to be printed. (And it has been published by NEFELI Publications in Greece, which shares the Copyright with me, so, please copy only for inspection and private use.) The English version of Notes on Set Theory has been published in January, 1994, by Springer-Verlag, in the series Undergraduate Texts in Mathematics.