Utilisateur:PhilippeMuller : Différence entre versions
| Ligne 7 : | Ligne 7 : | ||
http://www.irit.fr/~Philippe.Muller/ | http://www.irit.fr/~Philippe.Muller/ | ||
| + | |||
| + | |||
| + | ==Contributions== | ||
| + | |||
| + | * [[Structures d'ordre]] | ||
| + | * opérations: unification, lambda-calcul (en cours de traduction wiki) | ||
Version du 21 février 2006 à 12:34
Maître de Conférences en Informatique
Institut de Recherche en Informatique de Toulouse Université Paul Sabatier
muller /at/ irit.fr
http://www.irit.fr/~Philippe.Muller/
Contributions
- Structures d'ordre
- opérations: unification, lambda-calcul (en cours de traduction wiki)
