2. Contexte
3. 1. Introduction
4. 2. Transcendental syntax
5. 3. Stellar resolution
6. 4. Stellogen language
7. 5. Getting started
9. Principles of stellar resolution
10. 6. Term unification
11. 7. Stars and constellations
12. 8. Execution of constellations
13. 9. Exercises
15. Basics of Stellogen
16. 10. Defining constellations
17. 11. Galaxies
18. 12. Substitutions
19. 13. Typing
20. 14. Exercises
22. Encoding techniques
23. 15. Introduction
24. 16. Sequences
25. 17. Hypergraphs (TODO)
26. 18. Integers (TODO)
28. Automata theory
29. 19. Finite automata (TODO)
30. 20. Transducers (TODO)
31. 21. Pushdown automata (TODO)
32. 22. Turing machines (TODO)
34. Lambda-calculus
35. 23. Untyped linear lambda-calculus (TODO)
36. 24. Linear types (TODO)
37. 25. Simply typed lambda-calculus (TODO)