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