L'informatique

19
Ensembles de base pour le calcul combinatoire

Il est bien connu que les combinateurs S et K forment un ensemble de base pour le calcul des combinateurs, en ce sens que tous les autres combinateurs peuvent être exprimés en fonction d'eux. Il existe également la base B, C, K, W de Curry, qui a la même propriété. Il doit y avoir un nombre infini...