A formalism for treating equivalence of recursive procedures
A note on comparison of Turing machines with computers
A note on van Wijngaarden syntax
A parenthesis machine for string manipulation
À propos de la sémantique de l'appel par valeur selon A. Arnold
Algebraic definition of a functional programming language and its semantic models
Algebraical loops and transformation of variables
Algorithmization of algebras and relational structures
An algebraic treatment of flow diagrams and its application to generalized recursion theory
An analysis of programs by algebraic means
An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
ARCO pour la programmation arithmétique et combinatoire
Asynchronous serioparallel execution of the loop