1. Erik Palmgren. Constructive logic and type theory, 2014.
2. Per Martin-Löf. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11–60, 1996.
3. W. A. Howard. The formulæ-as-types notion of construction. In Philippe De Groote, editor, The Curry-Howard Isomorphism. Academia, 1995.
4. Frank Pfenning and Rowan Davies. A judgmental reconstruction of modal logic. Mathematical structures in computer science, 11(04):511–540, 2001.
5. A. N Kolmogorov. Zur deutung der intuitionistischen logik. Mathematische Zeitschrift, 35:58–65, (English translation in Mancosu 1998, pp. 328–334) 1932.