1. Barendregt, H.P.: Lambda calculi with types. In: Handbook of logic in computer science, vol. 2, pp. 117–309. Oxford Univ. Press, New York (1992)
2. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill Book Company, New York (1967)
3. Bishop, E.: Mathematics as a numerical language. In: Intuitionism and Proof Theory (Proceedings of the summer Conference at Buffalo, N.Y., 1968), pp. 53–71. North-Holland, Amsterdam (1970)
4. Capretta, V.: Abstraction and Computation. PhD thesis, University of Nijmegen (2002)
5. Lecture Notes in Computer Science;J. Carlström,2003