1. Girard, J.Y., ½-logic, part 1. Manuscript 1979. To appear in Annals of Mathematical Logic. (Revised version 1981)
2. Jervell, H.R., Homogenous trees. Lectures given at the University of München, Summer 1979. Manuscript. Tromsϕ.
3. Lenz, U., Homogene Bäume und die Howardzahl. Dissertation. University of Miinchen.
4. Masseron, M., Rungs and Trees. Manuscript 1980 To appear in Journal of Symbolic Logic. (Revised version 1981)