0La chaleur
1Répondre
Typed/Racket: donné Nombre naturel défini type besoin de multiplier deux nombres fonction à créer
2La chaleur
1Répondre
Déclaration de type de signature de certaines opérations avec des numéros d'église
1La chaleur
3Répondre
Définir la notion de « paires » en utilisant la logique d'ordre supérieur
2La chaleur
1Répondre
Eglise de codage booléen et STLC
1La chaleur
1Répondre
1La chaleur
1Répondre
lambda calculus xor expression par vrai faux
1La chaleur
1Répondre
Comment créer une instance de type de classe dans haskell?
3La chaleur
2Répondre
4La chaleur
1Répondre
Comment implémenter la division d'encodage d'église dans haskell?
1La chaleur
1Répondre
Trouvez les types les plus généraux des termes de calcul lambda suivant