Systèmes de Déduction pour les Arbres et les Schémas de Programmes

Patrice Enjalbert. Systèmes de Déduction pour les Arbres et les Schémas de Programmes. ITA, 14(3):247-278, 1980.

Abstract

Abstract is missing.