FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W166330659> ?p ?o ?g. }

• W166330659 endingPage "207" @default.
• W166330659 startingPage "194" @default.
• W166330659 abstract "The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: denotational and operational. The former preciseness is based on the denotation of a type which is a mathematical object that describes the meaning of the type in accordance with the denotations of other expressions from the language. The latter preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. We propose a technique for formalising and proving operational preciseness of the subtyping relation in the setting of a concurrent lambda calculus with intersection and union types. The key feature is the link between typings and the operational semantics. We then prove soundness and completeness getting that the subtyping relation of this calculus enjoys both denotational and operational preciseness." @default.
• W166330659 created "2016-06-24" @default.
• W166330659 creator A5031880141 @default.
• W166330659 creator A5053585862 @default.
• W166330659 date "2014-01-01" @default.
• W166330659 modified "2023-10-18" @default.
• W166330659 title "Preciseness of Subtyping on Intersection and Union Types" @default.
• W166330659 cites W1594130176 @default.
• W166330659 cites W1760139041 @default.
• W166330659 cites W1968426557 @default.
• W166330659 cites W1970227944 @default.
• W166330659 cites W1979473344 @default.
• W166330659 cites W1988897846 @default.
• W166330659 cites W1990370351 @default.
• W166330659 cites W1991069274 @default.
• W166330659 cites W2000156431 @default.
• W166330659 cites W2023127104 @default.
• W166330659 cites W2025341469 @default.
• W166330659 cites W2080040385 @default.
• W166330659 cites W2088735483 @default.
• W166330659 cites W2090790829 @default.
• W166330659 cites W2092120865 @default.
• W166330659 cites W2094079428 @default.
• W166330659 cites W2098607593 @default.
• W166330659 cites W2102549858 @default.
• W166330659 cites W3180721729 @default.
• W166330659 cites W4252137238 @default.
• W166330659 doi "https://doi.org/10.1007/978-3-319-08918-8_14" @default.
• W166330659 hasPublicationYear "2014" @default.
• W166330659 type Work @default.
• W166330659 sameAs 166330659 @default.
• W166330659 citedByCount "4" @default.
• W166330659 countsByYear W1663306592016 @default.
• W166330659 countsByYear W1663306592021 @default.
• W166330659 countsByYear W1663306592022 @default.
• W166330659 crossrefType "book-chapter" @default.
• W166330659 hasAuthorship W166330659A5031880141 @default.
• W166330659 hasAuthorship W166330659A5053585862 @default.
• W166330659 hasBestOaLocation W1663306592 @default.
• W166330659 hasConcept C121332964 @default.
• W166330659 hasConcept C124101348 @default.
• W166330659 hasConcept C127413603 @default.
• W166330659 hasConcept C134306372 @default.
• W166330659 hasConcept C138885662 @default.
• W166330659 hasConcept C139997677 @default.
• W166330659 hasConcept C146978453 @default.
• W166330659 hasConcept C149106765 @default.
• W166330659 hasConcept C156325763 @default.
• W166330659 hasConcept C17231256 @default.
• W166330659 hasConcept C184337299 @default.
• W166330659 hasConcept C18903297 @default.
• W166330659 hasConcept C199343813 @default.
• W166330659 hasConcept C199360897 @default.
• W166330659 hasConcept C207648694 @default.
• W166330659 hasConcept C25343380 @default.
• W166330659 hasConcept C2777299769 @default.
• W166330659 hasConcept C2777686260 @default.
• W166330659 hasConcept C33923547 @default.
• W166330659 hasConcept C39920170 @default.
• W166330659 hasConcept C41008148 @default.
• W166330659 hasConcept C41895202 @default.
• W166330659 hasConcept C44779574 @default.
• W166330659 hasConcept C61797465 @default.
• W166330659 hasConcept C62520636 @default.
• W166330659 hasConcept C64543145 @default.
• W166330659 hasConcept C71924100 @default.
• W166330659 hasConcept C83852419 @default.
• W166330659 hasConcept C86803240 @default.
• W166330659 hasConcept C87365073 @default.
• W166330659 hasConceptScore W166330659C121332964 @default.
• W166330659 hasConceptScore W166330659C124101348 @default.
• W166330659 hasConceptScore W166330659C127413603 @default.
• W166330659 hasConceptScore W166330659C134306372 @default.
• W166330659 hasConceptScore W166330659C138885662 @default.
• W166330659 hasConceptScore W166330659C139997677 @default.
• W166330659 hasConceptScore W166330659C146978453 @default.
• W166330659 hasConceptScore W166330659C149106765 @default.
• W166330659 hasConceptScore W166330659C156325763 @default.
• W166330659 hasConceptScore W166330659C17231256 @default.
• W166330659 hasConceptScore W166330659C184337299 @default.
• W166330659 hasConceptScore W166330659C18903297 @default.
• W166330659 hasConceptScore W166330659C199343813 @default.
• W166330659 hasConceptScore W166330659C199360897 @default.
• W166330659 hasConceptScore W166330659C207648694 @default.
• W166330659 hasConceptScore W166330659C25343380 @default.
• W166330659 hasConceptScore W166330659C2777299769 @default.
• W166330659 hasConceptScore W166330659C2777686260 @default.
• W166330659 hasConceptScore W166330659C33923547 @default.
• W166330659 hasConceptScore W166330659C39920170 @default.
• W166330659 hasConceptScore W166330659C41008148 @default.
• W166330659 hasConceptScore W166330659C41895202 @default.
• W166330659 hasConceptScore W166330659C44779574 @default.
• W166330659 hasConceptScore W166330659C61797465 @default.
• W166330659 hasConceptScore W166330659C62520636 @default.
• W166330659 hasConceptScore W166330659C64543145 @default.
• W166330659 hasConceptScore W166330659C71924100 @default.
• W166330659 hasConceptScore W166330659C83852419 @default.
• W166330659 hasConceptScore W166330659C86803240 @default.

• next