|
 
|
Loïc Colson
|
Laboratoire: LITA (FR) |
Publications
2011
-
[CD11a]
L. Colson, V. Demange.
"Investigations on a Pedagogical Calculus of Constructions",
Date de dépot: 2011/05/16,
Nb pages 18,
(Tech. Rep.: CEDRIC-11-2736)
