Creo que no lo entiendo, pero la conversión me parece una conversión que no hace nada, un caso especial de conversión donde el resultado es solo el término en la abstracción lambda porque no hay nada hacer, una especie de conversión sentido.β β βηη\etaββ\betaββ\betaββ\beta Entonces, tal vez...
Hay dos teorías principales y estudiadas del cálculo lambda, la teoría beta y su extensión Post-completa, la teoría beta-eta. ¿Estas dos teorías tienen una regla intermedia intermedia que da una teoría de reescritura confluente? ¿Hay alguna noción interesante de extensionalidad parcial a la que...
Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq :: a -> b ->...
Klop, van Oostrom y de Vrijer tienen un documento sobre el cálculo lambda con patrones. http://www.sciencedirect.com/science/article/pii/S0304397508000571 En cierto sentido, un patrón es un árbol de variables, aunque solo lo estoy considerando como una tupla anidada de variables, por ejemplo,...
Estoy traduciendo un libro sobre LISP y, naturalmente, toca algunos elementos del cálculo . Entonces, una noción de extensionalidad se menciona allí junto con algunos modelos de cálculo λ , a saber: P ω y D ∞ (sí, con el infinito en la parte superior). Y se dice que P ω es extensional mientras que...
Si tiene dos funciones que implementan un algoritmo de clasificación diferente, ¿es posible inferir por código fuente que ambas tienen las mismas propiedades externas? ¿Significa que ambos tendrán una posible secuencia sin clasificar como entrada y tendrán una secuencia ordenada como salida? ¿De...