TEMA 2: Paradigma funcional |
2.1.- Lambda cálculo: Lambda términos. Reducción. Confluencia y noetherianidad.
2.2.- Sistemas de reescritura: Normalización. Confluencia y noetherianidad. Teorema de Church-Rosser. |
TEMA 4: Programación orientada a objetos |
4.1.- Técnicas de implementación |