Introduction au lambda-calcul pur - Inria

24 avr. 2002 ... 3 La récursivité et le paradigme « diviser pour régner ». 17. 3.1 Récursivité . ..... 10.1 Algorithme de Dijkstra pour le calcul des plus courts chemins. ..... La complexité est exprimée comme une fonction de la taille du jeu de données. Nous notons Dn ..... Nous voulons calculer ici les combinaisons C p n en.


Un extrait du document