Combinator realizability of constructive finite type analysis
1973 ◽
pp. 253-273
◽