1. N. Benton, G. Bierman, and V. de Paiva. Computational types from a logical perspective I. Draft Technical Report, Computer Laboratory University of Cambridge, U.K., August 1993.
2. B. Chellas. Modal Logic. Cambridge University Press, 1980.
3. H. B. Curry. The elimination theorem when modality is present. Journal of Symbolic Logic, 17:249–265, 1952.
4. H. B. Curry. A Theory of Formal Deducibility, volume 6 of Notre Dame Mathematical Lectures. Notre Dame, Indiana, second edition, 1957.
5. M. Dummett. Elements of Intuitionism. Clarendon Press, Oxford, 1977.