Edición de «Práctica 2 (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 107: | Línea 107: | ||
== Ejercicio 5 (Derivaciones) == | == Ejercicio 5 (Derivaciones) == | ||
Demostrar o explicar por qué no puede demostrarse cada uno de los siguientes juicios de tipado. | Demostrar o explicar por qué no puede demostrarse � cada uno de los siguientes juicios de tipado. | ||
a) ∅ . if true then 0 else succ(0) : Nat | a) ∅ . if true then 0 else succ(0) : Nat | ||
[[Archivo:5.a.jpg|none]] | [[Archivo:5.a.jpg|none]] | ||
Línea 118: | Línea 117: | ||
d) {x : Bool → Nat, y : Bool} . x y : Nat | d) {x : Bool → Nat, y : Bool} . x y : Nat | ||
[[Archivo:5d.jpg|none]] | [[Archivo:5d.jpg|none]] | ||
== Ejercicio 6 == | == Ejercicio 6 == |