Loïc Correnson;Étienne Duris;Didier Parigot;Gilles Roussel
-;-;-;-
Syntactic composition of top-down tree transducers is short cut fusion
Mathematical Structures in Computer Science