Articles

• HQL - HHM's Quantified Lambda: original paper defining the semantics of a small functional language, whose expressions can involve the use of quantifier operators

HdevPosts

• Cuando todos los caminos conducen al Assembler...: un texto analizando el papel del Assembler como fundamento (o no) de la programación
• Modelos (I): un artículo muy extenso, en dos partes, de análisis filosófico un poco amateur, un poco original, sobre el papel de los modelos en nuestras vidas (parte I)
• Modelos (II) - Juegos y Modelos: un artículo muy extenso, en dos partes, de análisis filosófico un poco amateur, un poco original, sobre el papel de los modelos en nuestras vidas (parte II) - ahora, relacionándolo con los videojuegos
• Notas a la semántica del por qué: notas a la serie de artículos de la Semántica del por qué
• Semántica del por qué (parte I): un análisis extenso, en 4 partes, entre lo filosófico y lo lógico / matemático, sobre el significado de la causalidad (parte I)
• Semántica del por qué (parte II): un análisis extenso, en 4 partes, entre lo filosófico y lo lógico / matemático, sobre el significado de la causalidad (parte II)
• Semántica del por qué (parte III): un análisis extenso, en 4 partes, entre lo filosófico y lo lógico / matemático, sobre el significado de la causalidad (parte III)
• Semántica del por qué (parte IV): un análisis extenso, en 4 partes, entre lo filosófico y lo lógico / matemático, sobre el significado de la causalidad (parte IV)
• Una clase imaginaria sobre juegos: un análisis extravagante, tanto en forma como en contenido, sobre los videojuegos como objetos filosóficos