Matches in SemOpenAlex for { <https://semopenalex.org/work/W1528598939> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1528598939 endingPage "634" @default.
- W1528598939 startingPage "620" @default.
- W1528598939 abstract "As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not ω-complete and therefore not continuous in the traditional terminology (in contrast to the old fully abstract continuous dcpo model of Milner). This is also applicable to a wider class of models such as the recently constructed by the author fully abstract (universal) model for ({bf PCF}^+={bf PCF} + textrm{parallel } {bf if}). Here we will present an outline of a general approach to this kind of “natural” domains which, although being non-dcpos, allow considering “naturally” continuous functions (with respect to existing directed “pointwise”, or “natural” least upper bounds) and also have appropriate version of “naturally” algebraic and “naturally” bounded complete “natural” domains. This is the non-dcpo analogue of the well-known concept of Scott domains, or equivalently, the complete f-spaces of Ershov. In fact, the latter version of natural domains, if considered under “natural” Scott topology, exactly corresponds to the class of f-spaces, not necessarily complete." @default.
- W1528598939 created "2016-06-24" @default.
- W1528598939 creator A5071613868 @default.
- W1528598939 date "2008-02-07" @default.
- W1528598939 modified "2023-09-27" @default.
- W1528598939 title "On Natural Non-dcpo Domains" @default.
- W1528598939 cites W1968333039 @default.
- W1528598939 cites W1969693438 @default.
- W1528598939 cites W2007270285 @default.
- W1528598939 cites W2010839695 @default.
- W1528598939 cites W2010959827 @default.
- W1528598939 cites W2024189573 @default.
- W1528598939 cites W2039112578 @default.
- W1528598939 cites W2163554063 @default.
- W1528598939 cites W2165446401 @default.
- W1528598939 doi "https://doi.org/10.1007/978-3-540-78127-1_34" @default.
- W1528598939 hasPublicationYear "2008" @default.
- W1528598939 type Work @default.
- W1528598939 sameAs 1528598939 @default.
- W1528598939 citedByCount "0" @default.
- W1528598939 crossrefType "book-chapter" @default.
- W1528598939 hasAuthorship W1528598939A5071613868 @default.
- W1528598939 hasBestOaLocation W15285989392 @default.
- W1528598939 hasConcept C114614502 @default.
- W1528598939 hasConcept C118615104 @default.
- W1528598939 hasConcept C134306372 @default.
- W1528598939 hasConcept C136119220 @default.
- W1528598939 hasConcept C154945302 @default.
- W1528598939 hasConcept C166957645 @default.
- W1528598939 hasConcept C184264201 @default.
- W1528598939 hasConcept C184720557 @default.
- W1528598939 hasConcept C202444582 @default.
- W1528598939 hasConcept C2776608160 @default.
- W1528598939 hasConcept C2777212361 @default.
- W1528598939 hasConcept C2777984123 @default.
- W1528598939 hasConcept C2989065042 @default.
- W1528598939 hasConcept C33923547 @default.
- W1528598939 hasConcept C34388435 @default.
- W1528598939 hasConcept C41008148 @default.
- W1528598939 hasConcept C9376300 @default.
- W1528598939 hasConcept C95457728 @default.
- W1528598939 hasConceptScore W1528598939C114614502 @default.
- W1528598939 hasConceptScore W1528598939C118615104 @default.
- W1528598939 hasConceptScore W1528598939C134306372 @default.
- W1528598939 hasConceptScore W1528598939C136119220 @default.
- W1528598939 hasConceptScore W1528598939C154945302 @default.
- W1528598939 hasConceptScore W1528598939C166957645 @default.
- W1528598939 hasConceptScore W1528598939C184264201 @default.
- W1528598939 hasConceptScore W1528598939C184720557 @default.
- W1528598939 hasConceptScore W1528598939C202444582 @default.
- W1528598939 hasConceptScore W1528598939C2776608160 @default.
- W1528598939 hasConceptScore W1528598939C2777212361 @default.
- W1528598939 hasConceptScore W1528598939C2777984123 @default.
- W1528598939 hasConceptScore W1528598939C2989065042 @default.
- W1528598939 hasConceptScore W1528598939C33923547 @default.
- W1528598939 hasConceptScore W1528598939C34388435 @default.
- W1528598939 hasConceptScore W1528598939C41008148 @default.
- W1528598939 hasConceptScore W1528598939C9376300 @default.
- W1528598939 hasConceptScore W1528598939C95457728 @default.
- W1528598939 hasLocation W15285989391 @default.
- W1528598939 hasLocation W15285989392 @default.
- W1528598939 hasOpenAccess W1528598939 @default.
- W1528598939 hasPrimaryLocation W15285989391 @default.
- W1528598939 hasRelatedWork W1573461898 @default.
- W1528598939 hasRelatedWork W2007735529 @default.
- W1528598939 hasRelatedWork W2038106543 @default.
- W1528598939 hasRelatedWork W2156697727 @default.
- W1528598939 hasRelatedWork W2551315150 @default.
- W1528598939 hasRelatedWork W2768905679 @default.
- W1528598939 hasRelatedWork W2950940616 @default.
- W1528598939 hasRelatedWork W2988763036 @default.
- W1528598939 hasRelatedWork W3103555317 @default.
- W1528598939 hasRelatedWork W1632634803 @default.
- W1528598939 isParatext "false" @default.
- W1528598939 isRetracted "false" @default.
- W1528598939 magId "1528598939" @default.
- W1528598939 workType "book-chapter" @default.