1. Domains and Lambda-Calculi;Amadio,1998
2. The Lambda Calculus;Barendregt,1984
3. Foundations of Constructive Mathematics: Metamathematical Studies;Beeson,1985
4. H. Curry, J. Hindley, J. Seldin, Combinatory Logic, vol. II, North-Holland, Amsterdam, 1972
5. S. Feferman, A language and axioms for explicit mathematics, in: J.N. Crossley (Ed.), Algebra and Logic, Lecture Notes in Mathematics, vol. 450, Springer, Berlin, 1975, pp. 87–139