Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030367998> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2030367998 endingPage "303" @default.
- W2030367998 startingPage "261" @default.
- W2030367998 abstract "In this paper dI-domains are enriched by a family of projections which assign to each point a sequence of canonical approximations. The morphisms are stable maps that preserve the levels of approximation generated by the projections. For the computation of an approximation of a given level of the output they require, in addition, only information about the input of at most the same level of approximation. It is shown that the category of these domains and maps is Cartesian closed. The set of morphisms between two such domains is a domain of the same kind, but turns out not to be an exponent in the category. Domains D are constructed which are isomorphic to the exponent D D . Moreover, it is proved that the space of retractions in an exponent D D is a retract of this. Both results together provide new models of Amadio-Longo's extension λβp of the λ-calculus. As has been shown by Amadio and Longo, strong type theories which incorporate the Type: Type assumption can be syntactically interpreted in this calculus." @default.
- W2030367998 created "2016-06-24" @default.
- W2030367998 creator A5005352054 @default.
- W2030367998 date "1999-02-01" @default.
- W2030367998 modified "2023-10-17" @default.
- W2030367998 title "On functions preserving levels of approximation: A refined model construction for various lambda calculi" @default.
- W2030367998 cites W1481185467 @default.
- W2030367998 cites W1523047387 @default.
- W2030367998 cites W1529526858 @default.
- W2030367998 cites W1544662935 @default.
- W2030367998 cites W1576579629 @default.
- W2030367998 cites W1582886330 @default.
- W2030367998 cites W1887766079 @default.
- W2030367998 cites W1972921902 @default.
- W2030367998 cites W2002475773 @default.
- W2030367998 cites W2012308246 @default.
- W2030367998 cites W2024873396 @default.
- W2030367998 cites W2050289409 @default.
- W2030367998 cites W2062024564 @default.
- W2030367998 cites W2151879211 @default.
- W2030367998 cites W2154273644 @default.
- W2030367998 cites W221401461 @default.
- W2030367998 cites W2253523542 @default.
- W2030367998 cites W2550284454 @default.
- W2030367998 cites W2911570390 @default.
- W2030367998 cites W626707627 @default.
- W2030367998 doi "https://doi.org/10.1016/s0304-3975(98)00144-3" @default.
- W2030367998 hasPublicationYear "1999" @default.
- W2030367998 type Work @default.
- W2030367998 sameAs 2030367998 @default.
- W2030367998 citedByCount "4" @default.
- W2030367998 crossrefType "journal-article" @default.
- W2030367998 hasAuthorship W2030367998A5005352054 @default.
- W2030367998 hasBestOaLocation W20303679981 @default.
- W2030367998 hasConcept C120665830 @default.
- W2030367998 hasConcept C121332964 @default.
- W2030367998 hasConcept C199343813 @default.
- W2030367998 hasConcept C202444582 @default.
- W2030367998 hasConcept C2777686260 @default.
- W2030367998 hasConcept C2778113609 @default.
- W2030367998 hasConcept C28826006 @default.
- W2030367998 hasConcept C33923547 @default.
- W2030367998 hasConcept C71924100 @default.
- W2030367998 hasConceptScore W2030367998C120665830 @default.
- W2030367998 hasConceptScore W2030367998C121332964 @default.
- W2030367998 hasConceptScore W2030367998C199343813 @default.
- W2030367998 hasConceptScore W2030367998C202444582 @default.
- W2030367998 hasConceptScore W2030367998C2777686260 @default.
- W2030367998 hasConceptScore W2030367998C2778113609 @default.
- W2030367998 hasConceptScore W2030367998C28826006 @default.
- W2030367998 hasConceptScore W2030367998C33923547 @default.
- W2030367998 hasConceptScore W2030367998C71924100 @default.
- W2030367998 hasIssue "1-2" @default.
- W2030367998 hasLocation W20303679981 @default.
- W2030367998 hasOpenAccess W2030367998 @default.
- W2030367998 hasPrimaryLocation W20303679981 @default.
- W2030367998 hasRelatedWork W1538649440 @default.
- W2030367998 hasRelatedWork W1966279290 @default.
- W2030367998 hasRelatedWork W1985218657 @default.
- W2030367998 hasRelatedWork W2060626124 @default.
- W2030367998 hasRelatedWork W2096753949 @default.
- W2030367998 hasRelatedWork W2602807540 @default.
- W2030367998 hasRelatedWork W2806984643 @default.
- W2030367998 hasRelatedWork W3047805729 @default.
- W2030367998 hasRelatedWork W3106133691 @default.
- W2030367998 hasRelatedWork W4249580765 @default.
- W2030367998 hasVolume "212" @default.
- W2030367998 isParatext "false" @default.
- W2030367998 isRetracted "false" @default.
- W2030367998 magId "2030367998" @default.
- W2030367998 workType "article" @default.