[r2007-01-23 18:14:45 by cmiachon] typo \cduce{}

Original author: cmiachon
Date: 2007-01-23 18:14:45+00:00

web/soutenance.xml

@@ -28,7 +28,7 @@ functional kernel of the language, in particular its type
 system and its type-driven dynamic semantics. The second part
 focuses on the algorithmical aspects: computing the subtyping relation
 and compiling pattern matching with optimizations. The third part
-presents the \cduce{} language, built on top of the functional kernel,
+presents the CDuce language, built on top of the functional kernel,
 together with some of the original techniques used in its
 implementation.
 </p>