1. H. Barendregt, Some extensional term models for combinatory logics and λ-calculi, Dissertation, University of Amsterdam.
2. L. E. Sanchis, Functionals defined by recursion, Notre Dame J. Formal Logic, vol. 8, no. 3, pp. 161–174.
3. W. Tait, Intensional interpretations of functionals of finite type, JSL 32 (1967), 198–212.