Matches in SemOpenAlex for { <https://semopenalex.org/work/W2755363016> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- W2755363016 abstract "In this paper we mechanize in Coq a typed, call-by-value language by specifying its operational semantics and giving intrinsic and extrinsic denotational semantics, both using domain theory. We also prove that the denotational semantics are equivalent; this is interesting because it leads to a direct proof of coherence for the intrinsic semantics. Finally, we prove the adequacy of the operational semantics with respect to the denotational semantics. As far as we know, this is the first mechanization of Reynolds' bracketing theorem and also the use of biorthogonality with extrinsic semantics instead of intrinsic semantics." @default.
- W2755363016 created "2017-09-25" @default.
- W2755363016 creator A5014450496 @default.
- W2755363016 creator A5053359839 @default.
- W2755363016 creator A5081001038 @default.
- W2755363016 date "2017-09-21" @default.
- W2755363016 modified "2023-10-11" @default.
- W2755363016 title "The importance of being Extrinsic" @default.
- W2755363016 cites W1813662263 @default.
- W2755363016 cites W2024873396 @default.
- W2755363016 cites W2149412346 @default.
- W2755363016 cites W2474272294 @default.
- W2755363016 cites W3118490272 @default.
- W2755363016 cites W4211265583 @default.
- W2755363016 doi "https://doi.org/10.1145/3125374.3125378" @default.
- W2755363016 hasPublicationYear "2017" @default.
- W2755363016 type Work @default.
- W2755363016 sameAs 2755363016 @default.
- W2755363016 citedByCount "0" @default.
- W2755363016 countsByYear W27553630162020 @default.
- W2755363016 crossrefType "proceedings-article" @default.
- W2755363016 hasAuthorship W2755363016A5014450496 @default.
- W2755363016 hasAuthorship W2755363016A5053359839 @default.
- W2755363016 hasAuthorship W2755363016A5081001038 @default.
- W2755363016 hasConcept C41008148 @default.
- W2755363016 hasConceptScore W2755363016C41008148 @default.
- W2755363016 hasLocation W27553630161 @default.
- W2755363016 hasOpenAccess W2755363016 @default.
- W2755363016 hasPrimaryLocation W27553630161 @default.
- W2755363016 hasRelatedWork W1596801655 @default.
- W2755363016 hasRelatedWork W2049775471 @default.
- W2755363016 hasRelatedWork W2350741829 @default.
- W2755363016 hasRelatedWork W2358668433 @default.
- W2755363016 hasRelatedWork W2376932109 @default.
- W2755363016 hasRelatedWork W2382290278 @default.
- W2755363016 hasRelatedWork W2390279801 @default.
- W2755363016 hasRelatedWork W2748952813 @default.
- W2755363016 hasRelatedWork W2899084033 @default.
- W2755363016 hasRelatedWork W2530322880 @default.
- W2755363016 isParatext "false" @default.
- W2755363016 isRetracted "false" @default.
- W2755363016 magId "2755363016" @default.
- W2755363016 workType "article" @default.