1. Predicative functionals and an interpretation of ID̂<ω;Avigad;Ann. Pure Appl. Logic,1998
2. J. Avigad, S. Feferman, Gödel's functional (“Dialectica”) interpretation, Handbook of Proof Theory, North-Holland, Amsterdam, 1998, pp. 337–405.
3. Admissible Sets and structures. Perspectives in Mathematical Logic;Barwise,1975
4. A Diller–Nahm style functional interpretation of KPω;Burr;Arch. Math. Logic,2000
5. Functional interpretation Aczel's constructive set theory;Burr;Ann. Pure Appl. Logic,2000