Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077776087> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2077776087 abstract "We formally verify in Abella that similarity in the call-by-name lambda calculus is a pre-congruence, using Howe's method. This turns out to be a very challenging task for HOAS-based systems, as it entails a demanding combination of inductive and coinductive reasoning on open terms, for which no other existing HOAS-based system is equipped for. We also offer a proof using a version of Abella supplemented with predicate quantification; this results in a more structured presentation that is largely independent of the operational semantics as well of the chosen notion of (bi)similarity. While the end result is significantly more succinct and elegant than previous attempts, the exercise highlights some limitations of the two-level approach in general and of Abella in particular." @default.
- W2077776087 created "2016-06-24" @default.
- W2077776087 creator A5021883093 @default.
- W2077776087 date "2012-09-09" @default.
- W2077776087 modified "2023-09-23" @default.
- W2077776087 title "A supposedly fun thing i may have to do again" @default.
- W2077776087 cites W110471181 @default.
- W2077776087 cites W1523424177 @default.
- W2077776087 cites W1585398629 @default.
- W2077776087 cites W1600042575 @default.
- W2077776087 cites W1982866418 @default.
- W2077776087 cites W1990062016 @default.
- W2077776087 cites W1999823887 @default.
- W2077776087 cites W2033339909 @default.
- W2077776087 cites W2092367588 @default.
- W2077776087 cites W2095631859 @default.
- W2077776087 cites W2099521332 @default.
- W2077776087 cites W2104680392 @default.
- W2077776087 cites W2119790470 @default.
- W2077776087 cites W2139128755 @default.
- W2077776087 cites W2140849218 @default.
- W2077776087 cites W2912466821 @default.
- W2077776087 cites W2990518766 @default.
- W2077776087 cites W4239690658 @default.
- W2077776087 doi "https://doi.org/10.1145/2364406.2364411" @default.
- W2077776087 hasPublicationYear "2012" @default.
- W2077776087 type Work @default.
- W2077776087 sameAs 2077776087 @default.
- W2077776087 citedByCount "16" @default.
- W2077776087 countsByYear W20777760872015 @default.
- W2077776087 countsByYear W20777760872017 @default.
- W2077776087 countsByYear W20777760872018 @default.
- W2077776087 countsByYear W20777760872019 @default.
- W2077776087 countsByYear W20777760872020 @default.
- W2077776087 crossrefType "proceedings-article" @default.
- W2077776087 hasAuthorship W2077776087A5021883093 @default.
- W2077776087 hasBestOaLocation W20777760872 @default.
- W2077776087 hasConcept C41008148 @default.
- W2077776087 hasConceptScore W2077776087C41008148 @default.
- W2077776087 hasLocation W20777760871 @default.
- W2077776087 hasLocation W20777760872 @default.
- W2077776087 hasOpenAccess W2077776087 @default.
- W2077776087 hasPrimaryLocation W20777760871 @default.
- W2077776087 hasRelatedWork W2093578348 @default.
- W2077776087 hasRelatedWork W2350741829 @default.
- W2077776087 hasRelatedWork W2358668433 @default.
- W2077776087 hasRelatedWork W2376932109 @default.
- W2077776087 hasRelatedWork W2382290278 @default.
- W2077776087 hasRelatedWork W2390279801 @default.
- W2077776087 hasRelatedWork W2748952813 @default.
- W2077776087 hasRelatedWork W2766271392 @default.
- W2077776087 hasRelatedWork W2899084033 @default.
- W2077776087 hasRelatedWork W3004735627 @default.
- W2077776087 isParatext "false" @default.
- W2077776087 isRetracted "false" @default.
- W2077776087 magId "2077776087" @default.
- W2077776087 workType "article" @default.