
arXiv: 1607.04332
Kegelspitzen are mathematical structures coined by Keimel and Plotkin, in order to encompass the structure of a convex set and the structure of a dcpo. In this paper, we ask ourselves what are Kegelspitzen the model of. We adopt a categorical viewpoint and show that Kegelspitzen model stochastic matrices onto a category of domains. Consequently, Kegelspitzen form a denotational model of pPCF, an abstract functional programming language for probabilistic computing. We conclude the present work with a discussion of the interpretation of (probabilistic) recursive types, which are types for entities which might contain other entities of the same type, such as lists and trees.
FOS: Computer and information sciences, convex set, Computer Science - Logic in Computer Science, BC1-199, Computer Science - Programming Languages, Logic, computer science - programming languages, domain, Semantics in the theory of computing, QA75.5-76.95, recursive type, Logic in Computer Science (cs.LO), computer science - logic in computer science, Continuous lattices and posets, applications, Electronic computers. Computer science, Kegelspitze, probabilistic computation, Functional programming and lambda calculus, Programming Languages (cs.PL)
FOS: Computer and information sciences, convex set, Computer Science - Logic in Computer Science, BC1-199, Computer Science - Programming Languages, Logic, computer science - programming languages, domain, Semantics in the theory of computing, QA75.5-76.95, recursive type, Logic in Computer Science (cs.LO), computer science - logic in computer science, Continuous lattices and posets, applications, Electronic computers. Computer science, Kegelspitze, probabilistic computation, Functional programming and lambda calculus, Programming Languages (cs.PL)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
