Beniamino Accattoli

Descubre un nuevo enfoque para mejorar la eficiencia de evaluación en el cálculo lambda.

Un vistazo a la estrategia externa en programación fuerte por valor.

Una mirada a un enfoque poco convencional para la evaluación de expresiones.

Este documento examina la relación entre la lógica intuicionista mínima y la evaluación por valor en programación.