2La chaleur
1Répondre
Beta réduction de certains lambda
1La chaleur
1Répondre
Démontrer qu'une séquence d'étapes se termine
2La chaleur
2Répondre
Pourquoi est-ce une conversion eta invalide?
2La chaleur
2Répondre
Haskell AST avec types récursifs
0La chaleur
1Répondre
Eta abstraction dans le lambda calcul
1La chaleur
4Répondre
0La chaleur
1Répondre
Comment réduire le lambda-calcul
7La chaleur
1Répondre