Un sistema de tipos recursivos parcialmente ordenado - García García, Juan Manuel (MX, 1994)