Nested Deduction in Logical Foundations for Computation. (Deduction Imbriquée et Fondements Logiques du Calcul)