Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128978634> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2128978634 abstract "We give a denotational semantics to a calculus λ [otimes ] with overloading and subtyping. In λ [otimes ] , the interaction between overloading and subtyping causes self application, and non-normalizing terms exist for each type. Moreover, the semantics of a type depends not on that type alone, but also on infinitely many others. Thus, we need to consider infinitely many domains, which are related by an infinite number of mutually recursive equations. We solve this by considering a functor category from the poset of types modulo equivalence to a category in which each type is interpreted. We introduce a categorical constructor corresponding to overloading, and formalize the equations as a single equation in the functor category. A semantics of λ [otimes ] is then expressed in terms of the minimal solution of this equation. We prove the adequacy theorem for λ [otimes ] following the construction in Pitts (1994) and use it to derive some syntactic properties." @default.
- W2128978634 created "2016-06-24" @default.
- W2128978634 creator A5027497864 @default.
- W2128978634 date "1998-08-01" @default.
- W2128978634 modified "2023-09-27" @default.
- W2128978634 title "A computationally adequate model for overloading via domain-valued functors" @default.
- W2128978634 cites W1498198066 @default.
- W2128978634 cites W1551132038 @default.
- W2128978634 cites W1994181029 @default.
- W2128978634 cites W2007270285 @default.
- W2128978634 cites W2024873396 @default.
- W2128978634 cites W2055655588 @default.
- W2128978634 cites W2060852846 @default.
- W2128978634 cites W2093397547 @default.
- W2128978634 cites W2307704187 @default.
- W2128978634 cites W2769900404 @default.
- W2128978634 cites W2559932535 @default.
- W2128978634 doi "https://doi.org/10.1017/s0960129598002539" @default.
- W2128978634 hasPublicationYear "1998" @default.
- W2128978634 type Work @default.
- W2128978634 sameAs 2128978634 @default.
- W2128978634 citedByCount "5" @default.
- W2128978634 crossrefType "journal-article" @default.
- W2128978634 hasAuthorship W2128978634A5027497864 @default.
- W2128978634 hasConcept C105795698 @default.
- W2128978634 hasConcept C118615104 @default.
- W2128978634 hasConcept C136119220 @default.
- W2128978634 hasConcept C156325763 @default.
- W2128978634 hasConcept C156772000 @default.
- W2128978634 hasConcept C171032842 @default.
- W2128978634 hasConcept C184337299 @default.
- W2128978634 hasConcept C18903297 @default.
- W2128978634 hasConcept C199360897 @default.
- W2128978634 hasConcept C202444582 @default.
- W2128978634 hasConcept C207648694 @default.
- W2128978634 hasConcept C2777299769 @default.
- W2128978634 hasConcept C2780069185 @default.
- W2128978634 hasConcept C29585364 @default.
- W2128978634 hasConcept C33923547 @default.
- W2128978634 hasConcept C41008148 @default.
- W2128978634 hasConcept C5274069 @default.
- W2128978634 hasConcept C54732982 @default.
- W2128978634 hasConcept C54884031 @default.
- W2128978634 hasConcept C83852419 @default.
- W2128978634 hasConcept C86803240 @default.
- W2128978634 hasConceptScore W2128978634C105795698 @default.
- W2128978634 hasConceptScore W2128978634C118615104 @default.
- W2128978634 hasConceptScore W2128978634C136119220 @default.
- W2128978634 hasConceptScore W2128978634C156325763 @default.
- W2128978634 hasConceptScore W2128978634C156772000 @default.
- W2128978634 hasConceptScore W2128978634C171032842 @default.
- W2128978634 hasConceptScore W2128978634C184337299 @default.
- W2128978634 hasConceptScore W2128978634C18903297 @default.
- W2128978634 hasConceptScore W2128978634C199360897 @default.
- W2128978634 hasConceptScore W2128978634C202444582 @default.
- W2128978634 hasConceptScore W2128978634C207648694 @default.
- W2128978634 hasConceptScore W2128978634C2777299769 @default.
- W2128978634 hasConceptScore W2128978634C2780069185 @default.
- W2128978634 hasConceptScore W2128978634C29585364 @default.
- W2128978634 hasConceptScore W2128978634C33923547 @default.
- W2128978634 hasConceptScore W2128978634C41008148 @default.
- W2128978634 hasConceptScore W2128978634C5274069 @default.
- W2128978634 hasConceptScore W2128978634C54732982 @default.
- W2128978634 hasConceptScore W2128978634C54884031 @default.
- W2128978634 hasConceptScore W2128978634C83852419 @default.
- W2128978634 hasConceptScore W2128978634C86803240 @default.
- W2128978634 hasLocation W21289786341 @default.
- W2128978634 hasOpenAccess W2128978634 @default.
- W2128978634 hasPrimaryLocation W21289786341 @default.
- W2128978634 hasRelatedWork W1495843174 @default.
- W2128978634 hasRelatedWork W1545362745 @default.
- W2128978634 hasRelatedWork W1604013339 @default.
- W2128978634 hasRelatedWork W1994181029 @default.
- W2128978634 hasRelatedWork W2052434414 @default.
- W2128978634 hasRelatedWork W2052774369 @default.
- W2128978634 hasRelatedWork W2096619922 @default.
- W2128978634 hasRelatedWork W2124345097 @default.
- W2128978634 hasRelatedWork W2134996232 @default.
- W2128978634 hasRelatedWork W2142030149 @default.
- W2128978634 hasRelatedWork W2305271820 @default.
- W2128978634 hasRelatedWork W2765199190 @default.
- W2128978634 hasRelatedWork W2809754822 @default.
- W2128978634 hasRelatedWork W2911591512 @default.
- W2128978634 hasRelatedWork W2942964520 @default.
- W2128978634 hasRelatedWork W2951572270 @default.
- W2128978634 hasRelatedWork W2981732651 @default.
- W2128978634 hasRelatedWork W3114657538 @default.
- W2128978634 hasRelatedWork W82089581 @default.
- W2128978634 hasRelatedWork W2184404033 @default.
- W2128978634 isParatext "false" @default.
- W2128978634 isRetracted "false" @default.
- W2128978634 magId "2128978634" @default.
- W2128978634 workType "article" @default.