Lambda-calcul et programmation fonctionnelle

Exercice : Corrigez cette fonction et montrez que la version corrigée termine pour tout n ? Z. 1 pair :: Integer -&gt; Bool.

Un panorama de l'utilisation de MAPLE initialement conçu pour la ...