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

Vincent Demange
LITA, University of Lorraine, France

L. Colson, V. Demange:
Investigations on a Pedagogical Calculus of Constructions
/jucs_19_6/investigations_on_a_pedagogical
page 729 - 749
Vol.19 / Issue 6