Edición de «Final 19/09/2017 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
1. Dado <math> M = \lambda x: \sigma | 1. Dado <math> M = \lambda x: \sigma -> \sigma.\lambda y: \sigma.x\ y </math> | ||
## Existe <math> V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> | ## Existe <math> V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> | ||
## Existe <math> V </math> tal que <math> fix\ (M (\lambda x: \sigma.x)) \twoheadrightarrow V ? </math> | ## Existe <math> V </math> tal que <math> fix\ (M (\lambda x: \sigma.x)) \twoheadrightarrow V ? </math> |