Combinator realizability of constructive finite type analysis

[1]  J. Staples,et al.  On Constructive Fields , 1971 .