Edición de «Práctica 3 (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 6: | Línea 6: | ||
dado X = {w, w1, w2, . . . , x, x1, x2, . . . , y, y1, y2, . . . , f, f1, f2, . . . } | dado X = {w, w1, w2, . . . , x, x1, x2, . . . , y, y1, y2, . . . , f, f1, f2, . . . } | ||
Términos sin anotaciones | Términos sin anotaciones | ||
M0 ::= x | λx.M0 | M0 M0 | True | False | if M0 then M0 else M0 | 0 | succ(M0) | pred(M0) | isZero(M0) | M0 | ||
::= x | λx.M0 | |||
| M0 M0 | |||
| True | False | if M0 | |||
then M0 | |||
else M0 | |||
| 0 | succ(M0 | |||
) | pred(M0 | |||
) | isZero(M0 | |||
) | |||
Tipos | Tipos | ||
σ ::= Bool | Nat | σ → σ | s | σ ::= Bool | Nat | σ → σ | s |