Peter H. Welch Continuous semantics and inside-out reductions. 122-146 1975 conf/lambda/1975 Lambda-Calculus and Computer Science Theory db/conf/lambda/lambda1975.html#Welch75 http://dx.doi.org/10.1007/BFb0029522