Fiche de TD no. 5

Fiche de TD no. 5. Le ?-calcul non typé. Exercice 1 : Arbre abstrait, redex. Dessinez ... (n-2) fibliste = map fib2 [0..] fib3 n = fib3acc n 1 1 where fib3acc 0 n m = n.


Un extrait du document