Ce document examine le lien entre la logique intuitionniste minimale et l'évaluation par valeur dans la programmation.
― 13 min lire
La science de pointe expliquée simplement
Ce document examine le lien entre la logique intuitionniste minimale et l'évaluation par valeur dans la programmation.
― 13 min lire