1. Y. Akama and S. Hayashi, Limiting Cartesian Closed Categories, submitted, 2002.
2. M. Beeson, Foundations ofConstructiv e Mathematics, Springer, 1985
3. S. Baratella and S. Berardi, Constructivization via Approximations and Examples, Theories of Types and Proofs, M. Takahashi, M. Okada and M. Dezani-Ciancaglini eds., MSJ Memories 2 (1998) 177–205
4. S. Berardi, Classical logic as Limit Completion I. Part I: a constructive model for non-recursive maps, submitted, 2001, at http://www.di.unito.it/~stefano/ available.
5. D. Bridges and F. Richman, Varieties ofConstructiv e Mathematics, 1987, Cambridge University Press.