En este articulo se presenta el proceso gradual de construccion de tipos abstractos de datos (TADs), como los Fraccionarios y los Polinomios, a partir de TADs esenciales, como los Logicos y los Enteros. Se propone un conjunto de categorias funcionales para clasificar las funciones de un TAD. Las funciones se especifican mediante programacion funcional, es decir, no se utilizan construcciones estructuradas como la asignacion, la secuencia y los ciclos. Hasta ahora no se encuentra reportada la especificacion de funciones con programacion funcional para la simplificacion en el TAD de los Enteros ni para la suma ordenada en el TAD de los polinomios. Ademas se muestra la relacion inherente entre las funciones de un TAD y la sobrecarga de operadores.