2. Contexte
3. 1. Introduction
4. 2. Philosophie
5. 3. Démarrer
7. Les constellations et leur exécution
8. 4. Unification de termes
9. 5. Etoiles et constellations
10. 6. Exécution de constellations
12. Bases de Stellogen
13. 7. Définir des constellations
14. 8. Commandes
15. 9. Effets réactifs
16. 10. Substitutions
17. 11. Programmation logique
19. Programmation orientée objet
20. 12. Galaxies
21. 13. Interfaces
23. Typage
24. 14. Spécifications
25. 15. Attentes
27. Programmation impérative
28. 16. Processus
30. Machines à états
31. 17. Automate finis (TODO)
32. 18. Transducteurs (TODO)
33. 19. Automates à pile (TODO)
34. 20. Machines de Turing (TODO)
36. Programmation fonctionnelle
37. 21. Lambda-calcul linéaire non typé (TODO)
38. 22. Types linéaires (TODO)
39. 23. Lambda-calcul simplement typé (TODO)