The idea of using partial orderings to correspond to spaces of partially defined functions and functionals had appeared several times earlier in recursive function theory; His first insight was to see that - in more modern terminology - the category of algebraic lattices and the (so-called) Scott-continuous functions is cartesian closed.