Informatique théorique : Calculabilité, Décidabilité et logique - Irif
Cette formalisation, appelée aujourd'hui. « systèmes d'équations de Herbrand-
Gödel », permet des définitions à l'aide de n'importe quel système d'équations
fonctionnelles. En termes actuels, on peut parler de programmation fonc-
tionnelle. Fonctions récursives de Kleene. C'est Stephen Cole Kleene, (1936) (et
ses livres ...
Un extrait du document