1. H.P. Barendregt. The Lambda Calculus. 1984.
2. S. Berardi. Classical logic as limit completion I&II, submitted, 2001.
3. A. Berarducci. Infinite λ-calculus and non-sensible models. In Logic and algebra (Pontignano, 1994), pp. 339–377. Dekker, New York, 1996.
4. K. Fujita. On proof terms and embeddings of classical substructural logics. Studia Logica, 61(2):199–221, 1998.
5. E. Mark Gold. Limiting recursion. JSL, 30:28–48, 1965.