Beniamino Accattoli

Découvre une nouvelle méthode pour améliorer l'efficacité d'évaluation dans le calcul des lambda.

Un aperçu de la stratégie externe dans la programmation forte par valeur.

Un aperçu d'une approche peu conventionnelle pour évaluer des expressions.

Ce document examine le lien entre la logique intuitionniste minimale et l'évaluation par valeur dans la programmation.