Una mirada a un enfoque poco convencional para la evaluación de expresiones.
― 6 minilectura
Beniamino Accattoli
Este documento examina la relación entre la lógica intuicionista mínima y la evaluación por valor en programación.
― 13 minilectura
Ciencia de vanguardia explicada de forma sencilla
Una mirada a un enfoque poco convencional para la evaluación de expresiones.
― 6 minilectura
Este documento examina la relación entre la lógica intuicionista mínima y la evaluación por valor en programación.
― 13 minilectura