Discussion:Type unité
Dernier commentaire : il y a 17 ans par Ambigraphe dans le sujet Mathématiques ?
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Informatique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | Faible |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Mathématiques ?
modifierLa théorie des types n'a pas l'air d'être une théorie mathématique mais plutôt une théorie informatique. J'attends encore un peu avant de retirer le portail, si quelqu'un pouvait confirmer ou infirmer mon impression. Ambigraphe, le 7 février 2009 à 07:19 (CET)