1. Notes on Constructive Set Theory;Aczel,2000
2. Foundations of Constructive Mathematics;Beeson,1985
3. Über Definitionsbereiche von Funktionen;Brouwer;Math. Ann.,1927
4. Continuity of Gödel's system T definable functionals via effectful forcing;Escardó,2013
5. W.A. Howard, Hereditarily majorizable functionals of finite type, in: Troelstra [12], pp. 454–461.