Noël Bernard
Maître de Conférences honoraire
Informations diverses
Thèmes de Recherche
Les thèmes ci-dessous portent tous sur les relations entre logique
et informatique,
et sont apparentés au lambda-calcul.
Modélisation dynamique du lambda-calcul.
Lambda-calcul et parallélisme.
Algèbres de processus.