Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"programmation functionelle"”.
-
Homología efectiva y sucesión espectral de Eilenberg-Moore
On décrit dans ce mémoire un ensemble d'algorithmes qui nous on permis de developper un logiciel Lisp calculant l'homologie entière des espaces de lacets itérés. Dans le chapitre 1, on introduit une machine théorique (inspirée du X-calcul).où il faut interpréter les resultats de calculabilité …