Utilisateur:PhilippeMuller

De Sémanticlopédie

Révision datée du 21 février 2006 à 12:34 par PhilippeMuller (discussion | contributions)

(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Aller à : navigation, rechercher

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)

Récupérée de « https://dicosem.llf-paris.fr/w/index.php?title=Utilisateur:PhilippeMuller&oldid=1975 »