Une présentation de la théorie des combinaisons applicatives, de la théorie des combinateurs élémentaires, de l'algèbre des combinateurs, de la théorie de la fonctionnalité et logique illative, enfin des travaux de Schönfinkel, Curry et Church et un système déviant : la PFL de Quine.