Matches in SemOpenAlex for { <https://semopenalex.org/work/W3004151311> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W3004151311 startingPage "23" @default.
- W3004151311 abstract "The purpose of this paper is to identify programs with control operators whose reduction semantics are in exact correspondence. This is achieved by introducing a relation ≃, defined over a revised presentation of Parigot’s λμ-calculus we dub ΛM.Our result builds on two fundamental ingredients: (1) factorization of λμ-reduction into multiplicative and exponential steps by means of explicit term operators of ΛM, and (2) translation of ΛM-terms into Laurent’s polarized proof-nets (PPN) such that cut-elimination in PPN simulates our calculus. Our proposed relation ≃ is shown to characterize structural equivalence in PPN. Most notably, ≃ is shown to be a strong bisimulation with respect to reduction in ΛM, i.e. two ≃-equivalent terms have the exact same reduction semantics, a result which fails for Regnier’s σ-equivalence in λ-calculus as well as for Laurent’s σ-equivalence in λμ." @default.
- W3004151311 created "2020-02-07" @default.
- W3004151311 creator A5032131989 @default.
- W3004151311 creator A5045773672 @default.
- W3004151311 creator A5077330939 @default.
- W3004151311 date "2020-01-01" @default.
- W3004151311 modified "2023-10-07" @default.
- W3004151311 title "Strong Bisimulation for Control Operators (Invited Talk)." @default.
- W3004151311 hasPublicationYear "2020" @default.
- W3004151311 type Work @default.
- W3004151311 sameAs 3004151311 @default.
- W3004151311 citedByCount "3" @default.
- W3004151311 countsByYear W30041513112021 @default.
- W3004151311 crossrefType "proceedings-article" @default.
- W3004151311 hasAuthorship W3004151311A5032131989 @default.
- W3004151311 hasAuthorship W3004151311A5045773672 @default.
- W3004151311 hasAuthorship W3004151311A5077330939 @default.
- W3004151311 hasConcept C111335779 @default.
- W3004151311 hasConcept C11413529 @default.
- W3004151311 hasConcept C118615104 @default.
- W3004151311 hasConcept C134306372 @default.
- W3004151311 hasConcept C135315306 @default.
- W3004151311 hasConcept C136119220 @default.
- W3004151311 hasConcept C187834632 @default.
- W3004151311 hasConcept C199343813 @default.
- W3004151311 hasConcept C202444582 @default.
- W3004151311 hasConcept C2524010 @default.
- W3004151311 hasConcept C2777686260 @default.
- W3004151311 hasConcept C2780069185 @default.
- W3004151311 hasConcept C33923547 @default.
- W3004151311 hasConcept C42747912 @default.
- W3004151311 hasConcept C71924100 @default.
- W3004151311 hasConceptScore W3004151311C111335779 @default.
- W3004151311 hasConceptScore W3004151311C11413529 @default.
- W3004151311 hasConceptScore W3004151311C118615104 @default.
- W3004151311 hasConceptScore W3004151311C134306372 @default.
- W3004151311 hasConceptScore W3004151311C135315306 @default.
- W3004151311 hasConceptScore W3004151311C136119220 @default.
- W3004151311 hasConceptScore W3004151311C187834632 @default.
- W3004151311 hasConceptScore W3004151311C199343813 @default.
- W3004151311 hasConceptScore W3004151311C202444582 @default.
- W3004151311 hasConceptScore W3004151311C2524010 @default.
- W3004151311 hasConceptScore W3004151311C2777686260 @default.
- W3004151311 hasConceptScore W3004151311C2780069185 @default.
- W3004151311 hasConceptScore W3004151311C33923547 @default.
- W3004151311 hasConceptScore W3004151311C42747912 @default.
- W3004151311 hasConceptScore W3004151311C71924100 @default.
- W3004151311 hasLocation W30041513111 @default.
- W3004151311 hasOpenAccess W3004151311 @default.
- W3004151311 hasPrimaryLocation W30041513111 @default.
- W3004151311 hasRelatedWork W109845714 @default.
- W3004151311 hasRelatedWork W1212590437 @default.
- W3004151311 hasRelatedWork W1509497033 @default.
- W3004151311 hasRelatedWork W1537995368 @default.
- W3004151311 hasRelatedWork W1891381102 @default.
- W3004151311 hasRelatedWork W1987185889 @default.
- W3004151311 hasRelatedWork W2019301510 @default.
- W3004151311 hasRelatedWork W2019313571 @default.
- W3004151311 hasRelatedWork W2055962247 @default.
- W3004151311 hasRelatedWork W2084539672 @default.
- W3004151311 hasRelatedWork W2109323214 @default.
- W3004151311 hasRelatedWork W2125817339 @default.
- W3004151311 hasRelatedWork W2170626879 @default.
- W3004151311 hasRelatedWork W2253601327 @default.
- W3004151311 hasRelatedWork W2794370785 @default.
- W3004151311 hasRelatedWork W2885468325 @default.
- W3004151311 hasRelatedWork W3099269275 @default.
- W3004151311 hasRelatedWork W3126030350 @default.
- W3004151311 hasRelatedWork W3197021704 @default.
- W3004151311 hasRelatedWork W800882761 @default.
- W3004151311 isParatext "false" @default.
- W3004151311 isRetracted "false" @default.
- W3004151311 magId "3004151311" @default.
- W3004151311 workType "article" @default.