0La chaleur
1Répondre
arbres pour preuve lambda-calcul simplement typé
2La chaleur
1Répondre
0La chaleur
1Répondre
comment contrôler l'ordre d'évaluation en appel par valeur?
0La chaleur
2Répondre
0La chaleur
1Répondre
Validation de l'expression en utilisant preg_match
2La chaleur
1Répondre
Équivalence call-by-name et par nom
1La chaleur
1Répondre
Prouvez loi distributive de la multiplication sur les fonctions d'addition dans Haskell
0La chaleur
1Répondre
Quantificateurs en lambda-calcul
0La chaleur
1Répondre
Code Haskell pour le redex en une étape de la machine abstraite?