Modelisation des operateurs d'arite variable en logique combinatoire. Application au formalisme fonctionnel

Modelization of functions with variable arity in combinatory logic. Application to the functional formalism

• Auteur / Autrice : VERONIQUE JAY
• Direction : Patrick Bellot
• Type : Thèse de doctorat
• Discipline(s) : Sciences et techniques communes
• Date : Soutenance en 1989
• Etablissement(s) : Paris 6

Mots clés

Mots clés libres

Sciences et techniques communes

Mathematiques

Logique combinatoire

Arite variable

Abstraction

Programmation fonctionnelle

Sequence

Completude

Résumé

Dans les langages fonctionnels, les operateurs pouvant admettre un nombre variable d'arguments comme l'addition n-aire, sont le plus souvent implantes au moyen de codage ou de structure sur les arguments. Pour modeliser ces operateurs, nous proposons, pour un ensemble etendu de termes combinatoires permettant l'usage de sequences de longueur indeterminee, un algorithme d'abstraction de sequence fonde sur les combinateurs recurrents et les iterateurs de church. Nous montrons comment, dans un langage fonctionnel comme sasl implante a l'aide de combinateurs, cet algorithme permet d'utiliser des fonctions d'arite variable pour definir des familles de programmes