Hypercalcul

concept

le calcul de fonctions non-turing-calculables

Propriétés