Edición de «Final 13/07/2020 (Paradigmas)»

# De cálculo lambda: Definir con fix la función 'esPar'
# De cálculo lambda: Que problema hay con definir la regla de semántica de "fix f -> f fix f" (lease f como un lambda)
# Qué relación hay entre el juicio de tipado de un término M, y el juicio de tipado producto de hacer W(Erase(M)))
# De regla de inferencia: Encontrar un término M que al hacer W(Erase(M)), te queda un término distinto sintácticamente a M, pero del mismo tipo
# De lógica: Un arbolito SLD con cuts y me preguntó qué ramas visitaba y que no.
# De lógica: not(P(X)), cuando falla, cuando no. Si el árbol de resolución es infinito, ¿qué pasa?
# De cálculo de objetos: ¿Puede haber recursión infinita? Dar un ejemplo.