Abstract FR:

L'implantation est basée sur l'utilisation de résultats de la logique combinatoire : chaque expression compilée en un code de combinateur est ensuite réduite en sa valeur. Le prototype réalisé a été utilisé pour programmer un KRC un certain nombre d'applications réalistes : des exemples d'utilisation du langage sont présentés dans cette thèse