Matches in SemOpenAlex for { <https://semopenalex.org/work/W45878689> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W45878689 endingPage "61" @default.
- W45878689 startingPage "47" @default.
- W45878689 abstract "We define a notion of normal form bisimilarity for the untyped call-by-value λ-calculus extended with the delimited-control operators shift and reset. Normal form bisimilarities are simple, easy-to-use behavioral equivalences which relate terms without having to test them within all contexts (like contextual equivalence), or by applying them to function arguments (like applicative bisimilarity). We prove that the normal form bisimilarity for shift and reset is sound but not complete w.r.t. contextual equivalence and we define up-to techniques that aim at simplifying bisimulation proofs. Finally, we illustrate the simplicity of the techniques we develop by proving several equivalences on terms." @default.
- W45878689 created "2016-06-24" @default.
- W45878689 creator A5018745484 @default.
- W45878689 creator A5083683038 @default.
- W45878689 date "2012-01-01" @default.
- W45878689 modified "2023-10-01" @default.
- W45878689 title "Normal Form Bisimulations for Delimited-Control Operators" @default.
- W45878689 cites W1537995368 @default.
- W45878689 cites W1563297775 @default.
- W45878689 cites W2009226222 @default.
- W45878689 cites W2039112578 @default.
- W45878689 cites W2088941870 @default.
- W45878689 cites W2144562508 @default.
- W45878689 cites W2293168108 @default.
- W45878689 cites W2294422796 @default.
- W45878689 cites W2475318425 @default.
- W45878689 cites W3091574018 @default.
- W45878689 cites W4230665378 @default.
- W45878689 cites W45878689 @default.
- W45878689 doi "https://doi.org/10.1007/978-3-642-29822-6_7" @default.
- W45878689 hasPublicationYear "2012" @default.
- W45878689 type Work @default.
- W45878689 sameAs 45878689 @default.
- W45878689 citedByCount "7" @default.
- W45878689 countsByYear W458786892012 @default.
- W45878689 countsByYear W458786892013 @default.
- W45878689 countsByYear W458786892016 @default.
- W45878689 countsByYear W458786892017 @default.
- W45878689 countsByYear W458786892019 @default.
- W45878689 countsByYear W458786892023 @default.
- W45878689 crossrefType "book-chapter" @default.
- W45878689 hasAuthorship W45878689A5018745484 @default.
- W45878689 hasAuthorship W45878689A5083683038 @default.
- W45878689 hasBestOaLocation W458786892 @default.
- W45878689 hasConcept C106159729 @default.
- W45878689 hasConcept C108710211 @default.
- W45878689 hasConcept C111472728 @default.
- W45878689 hasConcept C118615104 @default.
- W45878689 hasConcept C135315306 @default.
- W45878689 hasConcept C136119220 @default.
- W45878689 hasConcept C138885662 @default.
- W45878689 hasConcept C162324750 @default.
- W45878689 hasConcept C199343813 @default.
- W45878689 hasConcept C202444582 @default.
- W45878689 hasConcept C2524010 @default.
- W45878689 hasConcept C2777686260 @default.
- W45878689 hasConcept C2779795794 @default.
- W45878689 hasConcept C2780069185 @default.
- W45878689 hasConcept C2780586882 @default.
- W45878689 hasConcept C33923547 @default.
- W45878689 hasConcept C41008148 @default.
- W45878689 hasConcept C71924100 @default.
- W45878689 hasConcept C80444323 @default.
- W45878689 hasConceptScore W45878689C106159729 @default.
- W45878689 hasConceptScore W45878689C108710211 @default.
- W45878689 hasConceptScore W45878689C111472728 @default.
- W45878689 hasConceptScore W45878689C118615104 @default.
- W45878689 hasConceptScore W45878689C135315306 @default.
- W45878689 hasConceptScore W45878689C136119220 @default.
- W45878689 hasConceptScore W45878689C138885662 @default.
- W45878689 hasConceptScore W45878689C162324750 @default.
- W45878689 hasConceptScore W45878689C199343813 @default.
- W45878689 hasConceptScore W45878689C202444582 @default.
- W45878689 hasConceptScore W45878689C2524010 @default.
- W45878689 hasConceptScore W45878689C2777686260 @default.
- W45878689 hasConceptScore W45878689C2779795794 @default.
- W45878689 hasConceptScore W45878689C2780069185 @default.
- W45878689 hasConceptScore W45878689C2780586882 @default.
- W45878689 hasConceptScore W45878689C33923547 @default.
- W45878689 hasConceptScore W45878689C41008148 @default.
- W45878689 hasConceptScore W45878689C71924100 @default.
- W45878689 hasConceptScore W45878689C80444323 @default.
- W45878689 hasLocation W458786891 @default.
- W45878689 hasLocation W458786892 @default.
- W45878689 hasLocation W458786893 @default.
- W45878689 hasLocation W458786894 @default.
- W45878689 hasLocation W458786895 @default.
- W45878689 hasLocation W458786896 @default.
- W45878689 hasOpenAccess W45878689 @default.
- W45878689 hasPrimaryLocation W458786891 @default.
- W45878689 hasRelatedWork W1543496272 @default.
- W45878689 hasRelatedWork W1888841230 @default.
- W45878689 hasRelatedWork W2030888138 @default.
- W45878689 hasRelatedWork W2069441293 @default.
- W45878689 hasRelatedWork W2085026104 @default.
- W45878689 hasRelatedWork W2386703210 @default.
- W45878689 hasRelatedWork W3008492407 @default.
- W45878689 hasRelatedWork W4207042428 @default.
- W45878689 hasRelatedWork W4299613836 @default.
- W45878689 hasRelatedWork W1584109559 @default.
- W45878689 isParatext "false" @default.
- W45878689 isRetracted "false" @default.
- W45878689 magId "45878689" @default.
- W45878689 workType "book-chapter" @default.