Genèse

Sommaire :

1. Introduction
2. Le big bang
3. Logique propositionnelle
   1. La valeur booléenne
   2. Les opérateurs booléens
   3. Priotrité syntaxique
4. Implémentation
   1. Implémentation des termes sous forme d'arbres
   2. Le langage des types rudimentaires
   3. Conception d'un langage de programmation orienté objet
   4. Opérateur multi-aire, curryfication et logique polonaise
      1. Notation anglaise et française de la composition
      2. Arité variable
   5. Des programmes ayant comme argument des programmes
5. L'élément, l'opérateur et le type
6. Le hardware et la compression totale des données de type fini
   1. Les structures de données néguentropiques
   2. Objet de type fini de la forme `E^p"→"E^k`
   3. Objet dérivé de type fini.

1. Le langage des types
2. Le langage de fond
3. La constuction du langage de fond
   1. Les types énumératifs
   2. Le type booléen, `{0,1}`
   3. Le type des entiers naturels
   4. Le type des entiers naturels sur n bits, `{0 .. 2^n"-"1}={0,1}^n`
   5. Les types singletons
   6. Les types énumératifs denses
   7. Les types énumératifs hachés
   8. Le type somme