Précédent : Une nouvelle formulation de la Remonter : Actions de recherche Suivant : Zippers
Précédent : Une nouvelle formulation de la Remonter
: Actions de recherche Suivant : Zippers
La représentation interne des objets manipulés joue un rôle essentiel dans l'architecture d'un assistant à la démonstration permettant une meilleure compréhension logique des structures opérationnelles.
G. Huet a investigué un certain nombre de structures de données fondamentales pouvant servir de représentation à des structures de preuve. G. Dowek a poursuivi l'analyse des algorithmes d'unification d'ordre supérieur à la lumière des calculs avec substitution explicite. Enfin Ph. Audebaud et H. Herbelin s'intéressent aux liens entre les formalismes calculatoires associés à logique classique et les traits impératifs des langages de programmation fonctionnels.
-calcul et
compilation des langages fonctionnels
-calcul