Matches in SemOpenAlex for { <https://semopenalex.org/work/W1766658518> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1766658518 abstract "The class of countably based bifinites (SFP objects) is the usual mathematical framework for carrying out the constructions that arise in the semantics of programming languages. However, A. Jung showed that the construction used to define the domain-theoretic semantics of polymorphic lambda calculus, is not closed on this category. This motivates the search for a suitable category that is closed under all the constructions used in programming language semantics. T. Coquand developed categories of embeddings as a categorical generalization of the domain-theoretic structures used to give semantics of polymorphism. In this paper, we present a categorytheoretic powerdomain construction that is closed on the (extensional) categories of embeddings. The construction is shown to have universal properties that resemble the universal properties of the Plotkin powerdomain." @default.
- W1766658518 created "2016-06-24" @default.
- W1766658518 creator A5056673780 @default.
- W1766658518 date "1989-11-01" @default.
- W1766658518 modified "2023-10-16" @default.
- W1766658518 title "A Categorical Powerdomain Construction" @default.
- W1766658518 hasPublicationYear "1989" @default.
- W1766658518 type Work @default.
- W1766658518 sameAs 1766658518 @default.
- W1766658518 citedByCount "0" @default.
- W1766658518 crossrefType "journal-article" @default.
- W1766658518 hasAuthorship W1766658518A5056673780 @default.
- W1766658518 hasConcept C105795698 @default.
- W1766658518 hasConcept C118615104 @default.
- W1766658518 hasConcept C134306372 @default.
- W1766658518 hasConcept C136119220 @default.
- W1766658518 hasConcept C136137745 @default.
- W1766658518 hasConcept C151730666 @default.
- W1766658518 hasConcept C154945302 @default.
- W1766658518 hasConcept C156325763 @default.
- W1766658518 hasConcept C177148314 @default.
- W1766658518 hasConcept C184337299 @default.
- W1766658518 hasConcept C199360897 @default.
- W1766658518 hasConcept C202444582 @default.
- W1766658518 hasConcept C207648694 @default.
- W1766658518 hasConcept C2777212361 @default.
- W1766658518 hasConcept C29585364 @default.
- W1766658518 hasConcept C33923547 @default.
- W1766658518 hasConcept C36503486 @default.
- W1766658518 hasConcept C41008148 @default.
- W1766658518 hasConcept C5274069 @default.
- W1766658518 hasConcept C54884031 @default.
- W1766658518 hasConcept C77928131 @default.
- W1766658518 hasConcept C86803240 @default.
- W1766658518 hasConceptScore W1766658518C105795698 @default.
- W1766658518 hasConceptScore W1766658518C118615104 @default.
- W1766658518 hasConceptScore W1766658518C134306372 @default.
- W1766658518 hasConceptScore W1766658518C136119220 @default.
- W1766658518 hasConceptScore W1766658518C136137745 @default.
- W1766658518 hasConceptScore W1766658518C151730666 @default.
- W1766658518 hasConceptScore W1766658518C154945302 @default.
- W1766658518 hasConceptScore W1766658518C156325763 @default.
- W1766658518 hasConceptScore W1766658518C177148314 @default.
- W1766658518 hasConceptScore W1766658518C184337299 @default.
- W1766658518 hasConceptScore W1766658518C199360897 @default.
- W1766658518 hasConceptScore W1766658518C202444582 @default.
- W1766658518 hasConceptScore W1766658518C207648694 @default.
- W1766658518 hasConceptScore W1766658518C2777212361 @default.
- W1766658518 hasConceptScore W1766658518C29585364 @default.
- W1766658518 hasConceptScore W1766658518C33923547 @default.
- W1766658518 hasConceptScore W1766658518C36503486 @default.
- W1766658518 hasConceptScore W1766658518C41008148 @default.
- W1766658518 hasConceptScore W1766658518C5274069 @default.
- W1766658518 hasConceptScore W1766658518C54884031 @default.
- W1766658518 hasConceptScore W1766658518C77928131 @default.
- W1766658518 hasConceptScore W1766658518C86803240 @default.
- W1766658518 hasLocation W17666585181 @default.
- W1766658518 hasOpenAccess W1766658518 @default.
- W1766658518 hasPrimaryLocation W17666585181 @default.
- W1766658518 hasRelatedWork W1488428340 @default.
- W1766658518 hasRelatedWork W2001764023 @default.
- W1766658518 hasRelatedWork W2014028175 @default.
- W1766658518 hasRelatedWork W2024873396 @default.
- W1766658518 hasRelatedWork W2065178793 @default.
- W1766658518 hasRelatedWork W2088639858 @default.
- W1766658518 hasRelatedWork W2101642904 @default.
- W1766658518 hasRelatedWork W2123197280 @default.
- W1766658518 hasRelatedWork W2151159855 @default.
- W1766658518 hasRelatedWork W2155188583 @default.
- W1766658518 hasRelatedWork W2164343886 @default.
- W1766658518 hasRelatedWork W2530099022 @default.
- W1766658518 hasRelatedWork W2607361927 @default.
- W1766658518 hasRelatedWork W2903574931 @default.
- W1766658518 hasRelatedWork W2912705627 @default.
- W1766658518 hasRelatedWork W2951097142 @default.
- W1766658518 hasRelatedWork W3101976357 @default.
- W1766658518 hasRelatedWork W3104417499 @default.
- W1766658518 hasRelatedWork W3151895480 @default.
- W1766658518 hasRelatedWork W3167950194 @default.
- W1766658518 isParatext "false" @default.
- W1766658518 isRetracted "false" @default.
- W1766658518 magId "1766658518" @default.
- W1766658518 workType "article" @default.