Noël Bernard

 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.


Page d'accueil du LAMA