Induction sur les arbres - Roberto Di Cosmo
dans un système d'exploitation, le sommaire d'un livre, les expres- sions
arithmétiques, les ... opération de construction *). # let cons_ab(x,y) .... Les arbres
n-aires. On généralise sans problèmes les arbres binaires de type I ou II au cas n
- aire.
Un extrait du document