1. [BAR] J. Barwise, Admissible sets and structures. Persp. in Math. Log. (75).
2. [CEN] D. Cenzer, Ordinal recursion and inductive definitions. Generalized Recursion Theory. N.H. (74).
3. [GIO] J.Y. Girard, Three-valued logic and cut elimination. Dissertationes Mathematicae CXXXVI.
4. [Gil] J.Y. Girard, A survey of ½ -logic. (Hannover 79).
5. [GI2] J.Y. Girard, Cours de théorie de la démonstration. Chap. 6 (79--80).