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