1. P.H.G. Aczel. A note on interpreting intuitionistic hiher-order logic, 1980. Handwritten note.
2. S. Awodey, L. Birkedal, and D.S. Scott. Local realizability toposes and a modal logic for computability. Presented at Tutorial Workshop on Realizability Semantics, FLoC'99, trento, Italy 1999., 1999.
3. D.H.J. de Jongh. The maximality of the intuitionistic predicate calculus with respect to Heything's Arithmetic, 1969. Typed manuscript from University of Wisconsin, Madison.
4. Modified realization and the formulac-as-types notion;Diller,1980
5. Transfinite completions of constructive arithmetical calculus (Russian);Dragalin;Doklady,1969