Systèmes de déduction pour les arbres et les schémas de programmes (I) P. Enjalbert RAIRO. Inform. théor., 14 3 (1980) 247-278 Published online: 01 February 2017 DOI: 10.1051/ita/1980140302471