Lazi
Accueil
Contact
Lexique
Organisation
Présentation
Recherche
Réalisations
1. Vision globale
2. Mathématique
3. Informatique
Les types
4. Logiciels
Suivi des tâches
Informatique
Cette partie documente les réalisations en informatique théorique.
Lazi et les types
