1. Aczel, P.: Non-Wellfoundcd Sets, CSLI Lecture Notes 14, 1988
2. Barendregt, H.: Introduction to Generalized Type Systems, Tech. Report 90-8, Univ. of Nijmcgen, 1990.
3. Ballmann, S., Dunker, G.: Entwurf und Implementierung für den Kalkül getypter Deklarationen, students thesis, Fachbereich 20, TU Berlin 1991
4. Bläsius, K.H., Hcdtstück, U., Rollinger, C.R. (eds): Sorts and Types in Artificial Intelligence, LNAI 418, Springer, 1990
5. Curry, H.B., Fcys, R.: Combinatory Logic, North Holland, 1958