LITA - Laboratoire d'Informatique Théorique et Appliquée - Université de Lorraine
Université de Lorraine - Laboratoire d'Informatique Théorique et Appliquée (LITA)
Université de Lorraine - Site de Metz - Île du Saulcy
57045 METZ CEDEX 1
Tel. : 03 87 31 54 45 - Fax : 03 87 31 53 09

Laboratoire d'Informatique Théorique et Appliquée (LITA)

Colson Loïc
UFR MIM - Département Informatique

Professeur des universités, membre Permanent du LITA.
Habilité à diriger les recherches
Membre du conseil de laboratoire

equipe Calculs, Graphes et Logique

UFR MIM - E221
Téléphone0387315279
e-mailloic.colson@univ-lorraine.fr

Publications

Articles dans les proceedings de conférences internationales avec comité de lecture

2013 Investigations on a Pedagogical Calculus of Constructions. [ACTI76]
Loïc Colson, Vincent Demange
J. UCS 19(6): 729-749 (2013)