Recursión

Este documento presenta las ideas básicas sobre cómo definir funciones sobre conjuntos definidos inductivamente explotando la estructura inductiva de sus elementos.