TheoryofComputing est une revue scientifique dont les articles sont évalués par les pairs, en accès libre, qui couvre des thèmes d'informatique théorique
TheoryofComputing Systems est une revue scientifique à évaluation par les pairs qui publie des articles dans tous les domaines de l'informatique théorique
Number Theory Algebra Universalis Algebraic & Geometric Topology (en) (site) Algebraic Combinatorics American Journalof Mathematics American Journalof Computational
Annals of the History ofComputing, IEEE, 1979. Stephen C. Kleene, « Origins of Recursive Function Theory », IEEE Annals of the History ofComputing, vol
Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables