Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155188583> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2155188583 abstract "We motivate and define a category of domains,whose objects are certain topological spaces, generalisingthe usual $omega$-continuous dcppos of domain theory.Our category supports all the standard constructions of domain theory,including the solution of recursive domain equations. It alsosupports the construction of free algebras for (in)equationaltheories, provides a model of parametric polymorphism,and can be used as the basis for a theory of computability.This answers a question of Gordon Plotkin, who askedwhether it was possible to construct a category of domains combining such properties." @default.
- W2155188583 created "2016-06-24" @default.
- W2155188583 creator A5019129672 @default.
- W2155188583 creator A5037262512 @default.
- W2155188583 creator A5080785086 @default.
- W2155188583 date "2006-01-01" @default.
- W2155188583 modified "2023-09-24" @default.
- W2155188583 title "A convenient category of domains." @default.
- W2155188583 hasPublicationYear "2006" @default.
- W2155188583 type Work @default.
- W2155188583 sameAs 2155188583 @default.
- W2155188583 citedByCount "0" @default.
- W2155188583 crossrefType "journal-article" @default.
- W2155188583 hasAuthorship W2155188583A5019129672 @default.
- W2155188583 hasAuthorship W2155188583A5037262512 @default.
- W2155188583 hasAuthorship W2155188583A5080785086 @default.
- W2155188583 hasConcept C118615104 @default.
- W2155188583 hasConcept C134306372 @default.
- W2155188583 hasConcept C136119220 @default.
- W2155188583 hasConcept C152062344 @default.
- W2155188583 hasConcept C199360897 @default.
- W2155188583 hasConcept C202444582 @default.
- W2155188583 hasConcept C2780801425 @default.
- W2155188583 hasConcept C29585364 @default.
- W2155188583 hasConcept C33923547 @default.
- W2155188583 hasConcept C36503486 @default.
- W2155188583 hasConcept C41008148 @default.
- W2155188583 hasConcept C54884031 @default.
- W2155188583 hasConceptScore W2155188583C118615104 @default.
- W2155188583 hasConceptScore W2155188583C134306372 @default.
- W2155188583 hasConceptScore W2155188583C136119220 @default.
- W2155188583 hasConceptScore W2155188583C152062344 @default.
- W2155188583 hasConceptScore W2155188583C199360897 @default.
- W2155188583 hasConceptScore W2155188583C202444582 @default.
- W2155188583 hasConceptScore W2155188583C2780801425 @default.
- W2155188583 hasConceptScore W2155188583C29585364 @default.
- W2155188583 hasConceptScore W2155188583C33923547 @default.
- W2155188583 hasConceptScore W2155188583C36503486 @default.
- W2155188583 hasConceptScore W2155188583C41008148 @default.
- W2155188583 hasConceptScore W2155188583C54884031 @default.
- W2155188583 hasLocation W21551885831 @default.
- W2155188583 hasOpenAccess W2155188583 @default.
- W2155188583 hasPrimaryLocation W21551885831 @default.
- W2155188583 hasRelatedWork W1554292048 @default.
- W2155188583 hasRelatedWork W1596749189 @default.
- W2155188583 hasRelatedWork W1766658518 @default.
- W2155188583 hasRelatedWork W2008892971 @default.
- W2155188583 hasRelatedWork W2024873396 @default.
- W2155188583 hasRelatedWork W2090948897 @default.
- W2155188583 hasRelatedWork W2101642904 @default.
- W2155188583 hasRelatedWork W2151159855 @default.
- W2155188583 hasRelatedWork W2158022828 @default.
- W2155188583 hasRelatedWork W2164343886 @default.
- W2155188583 hasRelatedWork W2295106381 @default.
- W2155188583 hasRelatedWork W2339886404 @default.
- W2155188583 hasRelatedWork W2381745938 @default.
- W2155188583 hasRelatedWork W246789036 @default.
- W2155188583 hasRelatedWork W2613844544 @default.
- W2155188583 hasRelatedWork W2913777840 @default.
- W2155188583 hasRelatedWork W2983885771 @default.
- W2155188583 hasRelatedWork W3101976357 @default.
- W2155188583 hasRelatedWork W3153531700 @default.
- W2155188583 hasRelatedWork W3158862684 @default.
- W2155188583 isParatext "false" @default.
- W2155188583 isRetracted "false" @default.
- W2155188583 magId "2155188583" @default.
- W2155188583 workType "article" @default.