Computability on Continuous Higher Types and its Role in the Semantics of Programming Languages
dc.contributor.author | Constable, Robert L. | en_US |
dc.contributor.author | Egli, Herbert | en_US |
dc.date.accessioned | 2007-04-19T19:08:14Z | |
dc.date.available | 2007-04-19T19:08:14Z | |
dc.date.issued | 1974-07 | en_US |
dc.description.abstract | This 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. | en_US |
dc.format.extent | 2866531 bytes | |
dc.format.extent | 1114930 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | application/postscript | |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR74-209 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/6049 | |
dc.language.iso | en_US | en_US |
dc.publisher | Cornell University | en_US |
dc.subject | computer science | en_US |
dc.subject | technical report | en_US |
dc.title | Computability on Continuous Higher Types and its Role in the Semantics of Programming Languages | en_US |
dc.type | technical report | en_US |