Funciones recursivas de lista (homenaje a Giuseppe Jacopini)

Se presenta un modelo de cálculo: las “Funciones Recursivas de Lista “, originalmente desarrollado por el lógico Giuseppe Jacopini. Se propone demostrar el fuerte potencial didáctico de este modelo, que ofrece una alternativa elegante y sencilla a otros sistemas tradicionales de modelización como las Máquinas de Turing y las Funciones Recursivas clásicas.