Fonction Récursive Primitive

fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition

Propriétés

Catégories

Mots liés