1. Barendregt P. H. The Lambda Calculus, Its Syntax and Semantics. North Holland Publishing Company, Amsterdam, 1995.
2. Barendregt P. H. Lambda calculi with types. In S. Abramsky and D. Gabbay and T. Maibaum, editors, Handbook of Logic in Computer Science, vol. 2, pages 117–309 (Background: Computational Structures). Clarendon Press, Oxford, 1992.
3. Berger U., and Schwichtenberg H. Program extraction from classical proofs. In D. Leivant, editor, Logic and Computational Complexity, International Workshop LCC ’94, Indiapolis, IN, USA, October 1994, pages 77–97, 1995.
4. CoFI Language Design Task Group on Language Design. CASL, The Common Algebraic Specification Language, Summary, 25 March 2001, March 2001. Available at
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/
(accessed 3.i.05)
5. Crossley J. N. What is mathematical logic? A survey. Tutorial at the First International Conference on Logic and and its application to other disciplines, IIT Bombay, 2005, submitted for publication.