1. Feferman, S.: Proceedings of the Summer School in Logic, Leeds 1967. In: Springer Lectures Notes in Mathematics. Vol. 70. Berlin, Heidelberg, New York: Springer 1968.
2. Ferbus, M.-C.: Bornes fonctorielles pour l'élimination des coupures. Paris 1982. Thèse de 3ème cycle (Univ. Paris VII).
3. Ferbus, M.-C.: Functorial bounds for cut elimination inL βω . I. Arch. math. Logik24, 141–158 (1984).
4. Girard, J.Y.: Cours de théorie de la démonstration. Paris 1979/1980 (unpublished).
5. Girard, J.Y.:Π1/2-logic. Part 1 (Manuscript unpublished).