1. Aczel, P., P. Carlisle, and N. Mendler, “Two frameworks of theories and their implementation in Isabelle,” pp. 5–39 in Logical Frameworks, edited by G. M. Plotkin et al., Cambridge University Press, Cambridge, 1991. Zbl 0756.03013 MR 1139779
2. Barendregt, H., The Lambda Calculus: Its Syntax and Semantics, North-Holland, Amsterdam, 1984. Zbl 0467.03010 MR 83b:03016
3. Burge, T., “Semantical paradox,” Journal of Philosophy, vol. 76 (1979), pp. 169-198.
4. Cantini, A., “A note on a predicatively reducible theory of elementary iterated induction,” Bollettino dell'Unione Matematica Italiana, vol. 4-b (1985), pp. 413–430. Zbl 0582.03043 MR 87d:03168
5. Cantini, A., “Su una teoria generale delle proprietà, basata su schemi di comprensione iterati e privi di tipi,” pp. 53–57 in Atti degli Incontri di Logica Matematica, vol. 3, edited by R. Ferro and A. Zanardo, Cluep, Padova, 1987. Zbl 0628.03017