Matches in SemOpenAlex for { <https://semopenalex.org/work/W2564286502> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2564286502 abstract "We abstract the common type-and-scope safe structure from computations on λ-terms that deliver, e.g., renaming, substitution, evaluation, CPS-transformation, and printing with a name supply. By exposing this structure, we can prove generic simulation and fusion lemmas relating operations built this way. This work has been fully formalised in Agda." @default.
- W2564286502 created "2017-01-06" @default.
- W2564286502 creator A5012442288 @default.
- W2564286502 creator A5047695892 @default.
- W2564286502 creator A5071284944 @default.
- W2564286502 creator A5090954120 @default.
- W2564286502 date "2017-01-16" @default.
- W2564286502 modified "2023-09-27" @default.
- W2564286502 title "Type-and-scope safe programs and their proofs" @default.
- W2564286502 cites W1566183855 @default.
- W2564286502 cites W1969204136 @default.
- W2564286502 cites W1997143185 @default.
- W2564286502 cites W1997354605 @default.
- W2564286502 cites W2002529995 @default.
- W2564286502 cites W2008350386 @default.
- W2564286502 cites W2026049208 @default.
- W2564286502 cites W2062887328 @default.
- W2564286502 cites W2102151984 @default.
- W2564286502 cites W2123092976 @default.
- W2564286502 cites W2124798629 @default.
- W2564286502 cites W3137378848 @default.
- W2564286502 cites W3211062941 @default.
- W2564286502 cites W4241907611 @default.
- W2564286502 cites W4242238973 @default.
- W2564286502 cites W4253057161 @default.
- W2564286502 doi "https://doi.org/10.1145/3018610.3018613" @default.
- W2564286502 hasPublicationYear "2017" @default.
- W2564286502 type Work @default.
- W2564286502 sameAs 2564286502 @default.
- W2564286502 citedByCount "30" @default.
- W2564286502 countsByYear W25642865022017 @default.
- W2564286502 countsByYear W25642865022018 @default.
- W2564286502 countsByYear W25642865022019 @default.
- W2564286502 countsByYear W25642865022020 @default.
- W2564286502 countsByYear W25642865022021 @default.
- W2564286502 countsByYear W25642865022022 @default.
- W2564286502 countsByYear W25642865022023 @default.
- W2564286502 crossrefType "proceedings-article" @default.
- W2564286502 hasAuthorship W2564286502A5012442288 @default.
- W2564286502 hasAuthorship W2564286502A5047695892 @default.
- W2564286502 hasAuthorship W2564286502A5071284944 @default.
- W2564286502 hasAuthorship W2564286502A5090954120 @default.
- W2564286502 hasBestOaLocation W25642865022 @default.
- W2564286502 hasConcept C104317684 @default.
- W2564286502 hasConcept C108710211 @default.
- W2564286502 hasConcept C115903868 @default.
- W2564286502 hasConcept C185592680 @default.
- W2564286502 hasConcept C199360897 @default.
- W2564286502 hasConcept C204241405 @default.
- W2564286502 hasConcept C2524010 @default.
- W2564286502 hasConcept C2778012447 @default.
- W2564286502 hasConcept C2778220771 @default.
- W2564286502 hasConcept C2778361913 @default.
- W2564286502 hasConcept C33923547 @default.
- W2564286502 hasConcept C41008148 @default.
- W2564286502 hasConcept C45374587 @default.
- W2564286502 hasConcept C55493867 @default.
- W2564286502 hasConcept C80444323 @default.
- W2564286502 hasConceptScore W2564286502C104317684 @default.
- W2564286502 hasConceptScore W2564286502C108710211 @default.
- W2564286502 hasConceptScore W2564286502C115903868 @default.
- W2564286502 hasConceptScore W2564286502C185592680 @default.
- W2564286502 hasConceptScore W2564286502C199360897 @default.
- W2564286502 hasConceptScore W2564286502C204241405 @default.
- W2564286502 hasConceptScore W2564286502C2524010 @default.
- W2564286502 hasConceptScore W2564286502C2778012447 @default.
- W2564286502 hasConceptScore W2564286502C2778220771 @default.
- W2564286502 hasConceptScore W2564286502C2778361913 @default.
- W2564286502 hasConceptScore W2564286502C33923547 @default.
- W2564286502 hasConceptScore W2564286502C41008148 @default.
- W2564286502 hasConceptScore W2564286502C45374587 @default.
- W2564286502 hasConceptScore W2564286502C55493867 @default.
- W2564286502 hasConceptScore W2564286502C80444323 @default.
- W2564286502 hasFunder F4320334627 @default.
- W2564286502 hasFunder F4320334678 @default.
- W2564286502 hasLocation W25642865021 @default.
- W2564286502 hasLocation W25642865022 @default.
- W2564286502 hasLocation W25642865023 @default.
- W2564286502 hasLocation W25642865024 @default.
- W2564286502 hasOpenAccess W2564286502 @default.
- W2564286502 hasPrimaryLocation W25642865021 @default.
- W2564286502 hasRelatedWork W135379672 @default.
- W2564286502 hasRelatedWork W1494913990 @default.
- W2564286502 hasRelatedWork W1597062518 @default.
- W2564286502 hasRelatedWork W2133996617 @default.
- W2564286502 hasRelatedWork W2225877325 @default.
- W2564286502 hasRelatedWork W2365767001 @default.
- W2564286502 hasRelatedWork W2547751540 @default.
- W2564286502 hasRelatedWork W4239682198 @default.
- W2564286502 hasRelatedWork W4245713008 @default.
- W2564286502 hasRelatedWork W2467097043 @default.
- W2564286502 isParatext "false" @default.
- W2564286502 isRetracted "false" @default.
- W2564286502 magId "2564286502" @default.
- W2564286502 workType "article" @default.