Note sur la suppression des étiquettes en programmation
Note sur l'algèbre des fonctions
Object-agent oriented programming.
On codes having no finite completion
On information storage and retrieval systems
On the detection of some periodic loops during the execution of Prolog programs
Parallelism in numerical analysis
Point-fixe sur un ensemble restreint
Post grammars as a programming language description tool
Primitive recursive categories and machines
Reduction semantics for rational schemes
Semantic analysis of an ALGOL text
Sémantique algébrique de l'appel par valeur
Sémantique algébrique d'un langage de programmation type Algol
Sémantique des structures de contrôle
Sémantique formelle des opérateurs d'un langage de listes
Software for visualisation of small objects.
Some Notes on the Formal Definition of Streams
Syntactical definitions of program and flow diagram
The inverse semigroup of a sumordered semiring.