Mientras se discuten fuertes pruebas de normalización, este comentario contrasta el "modelo de formas normales" con los "métodos puramente sintácticos". Esto me lleva de vuelta a una pregunta más básica: ¿podemos distinguir estrictamente las construcciones sintácticas y semánticas, frente a los...
La página "Esquema avanzado: algunos bits traviesos" dice: Las continuaciones son una construcción poderosa de flujo de control de la cual se puede derivar casi cualquier otra estructura de flujo de control. ¿Pensé que Scheme call/cc, al estar relacionado (*) con el operador J de Peter...
En la semántica del lenguaje de programación, a menudo se escucha que las personas hablan sobre significado y denotación . Parecen no ser lo mismo. ¿Cuál es la diferencia? ¿El primero está asociado con la semántica operacional mientras que el segundo con la semántica denotacional?...
Para una prueba de corrección, estoy buscando una noción utilizable de equivalencia de programa para los sistemas de tipo puro (PTS) de Barendregt; falta eso, para suficientes sistemas de tipos específicos. Mi objetivo es simplemente usar la noción, no investigarla por sí misma.≅≅\cong Esta noción...