Constable, Robert L.Egli, Herbert2007-04-192007-04-191974-07http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR74-209https://hdl.handle.net/1813/6049This paper is about mathematical problems in programming language semantics and their influence on recursive function theory. In the process if constructing computable Scott models of the lambda calculus we examine the concepts of deterministic and non-deterministic effective operators of all finite types and continuous deterministic and non-deterministic partial computable operators on continuous inputs of all finite types. These are new recursion theoretic concepts which are appropriate to semantics and were inspired in part by Scott's work on continuity.2866531 bytes1114930 bytesapplication/pdfapplication/postscripten-UScomputer sciencetechnical reporttechnical report