5La chaleur
1Répondre
3La chaleur
3Répondre
Comment mettre en œuvre f (g) == g (f)
0La chaleur
1Répondre
Réduire le terme de calcul lambda à la forme normale
1La chaleur
1Répondre
Nested "Que" expressions en OCaml
0La chaleur
1Répondre
0La chaleur
1Répondre
Pourquoi nous arrêtons-nous après avoir atteint ce terme? Lambda Calculus
1La chaleur
1Répondre
Comment soustraire TRUE et TRUE dans lambda calcul correctement?
0La chaleur
2Répondre