Sergei N. Artemov & Rosalie Iemhoff (2004):
From de Jongh's theorem to intuitionistic logic of proofs.
In: Dick de Jongh's Festschrift,
pp. 1–10.
Available at https://istina.msu.ru/publications/article/19375470/.
Jean-Yves Girard, Paul Taylor & Yves Lafont (1989):
Proofs and types.
Cambridge tracts in theoretical computer science 7.
Cambridge University Press,
Cambridge.
Available at http://www.paultaylor.eu/stable/prot.pdf.
Kurt Gödel (1958):
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.
Dialectica 12(3-4),
pp. 280–287,
doi:10.1111/j.1746-8361.1958.tb01464.x.
Ronald Harrop (1956):
On disjunctions and existential statements in intuitionistic systems of logic.
Mathematische Annalen 132(4),
pp. 347–361,
doi:10.1007/BF01360048.
Rosalie Iemhoff (2001):
A(nother) characterization of intuitionistic propositional logic.
Annals of Pure and Applied Logic 113(1),
pp. 161–173,
doi:10.1016/S0168-0072(01)00056-2.
Rosalie Iemhoff (2001):
On the admissible rules of intuitionistic propositional logic.
The Journal of Symbolic Logic 66(1),
pp. 281–294,
doi:10.2307/2694922.
Rosalie Iemhoff (2005):
Intermediate logics and Visser's rules.
Notre Dame Journal of Formal Logic 46(1),
pp. 65–81,
doi:10.1305/ndjfl/1107220674.
Georg Kreisel & Hilary Putnam (1957):
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.
Archiv für mathematische Logik und Grundlagenforschung 3(3-4),
pp. 74–78,
doi:10.1007/BF01988049.
Paul Rozière (1993):
Admissible and Derivable Rules in Intuitionistic Logic.
Mathematical Structures in Computer Science 3(2),
pp. 129–136,
doi:10.1017/S0960129500000165.
Morten Heine Sørensen & Pawel Urzyczyn (2006):
Lectures on the Curry-Howard isomorphism.
Studies in Logic and the Foundations of Mathematics 149.
Elsevier,
doi:10.1016/s0049-237x(06)x8001-1.
Albert Visser (2002):
Substitutions of Σ_1^0-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.
Annals of Pure and Applied Logic 114(1),
pp. 227–271,
doi:10.1016/S0168-0072(01)00081-1.