1. Lect. Notes Math., vol. 70;S. Feferman,1968
2. Ferbus, M.C.: Functorial bounds for cut elimination inL βω I. Arch. Math. Logik Grundlagenforsch.24, 141–158 (1984)
3. Girard, J.Y.: Proof theory and logical complexity. Napoli: Bibliopolis 1987
4. ICM Warszawa 1982, vol. 1;J.Y. Girard,1984
5. Vauzeilles, J.: Interpolation et complétude en β-logique. Thèse de troisième cycle. Université Paris VIL Paris 1979