Go home now Header Background Image
Submission Procedure
share: |
Follow us

Loïc Colson
L.I.T.A. University of Metz, France

L. Colson, V. Demange:
Investigations on a Pedagogical Calculus of Constructions
page 729 - 749
Vol.19 / Issue 6
L. Colson, D. Michel:
Pedagogical Natural Deduction Systems: the Propositional Case
page 1396 - 1410
Vol.13 / Issue 10