Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016326123> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2016326123 abstract "We present the μ -calculus, a syntax for λ-calculus + control operators exhibiting symmetries such as program/context and call-by-name/call-by-value. This calculus is derived from implicational Gentzen's sequent calculus LK, a key classical logical system in proof theory. Under the Curry-Howard correspondence between proofs and programs, we can see LK, or more precisely a formulation called LKμ , as a syntax-directed system of simple types for μ -calculus. For μ -calculus, choosing a call-by-name or call-by-value discipline for reduction amounts to choosing one of the two possible symmetric orientations of a critical pair. Our analysis leads us to revisit the question of what is a natural syntax for call-by-value functional computation. We define a translation of λμ-calculus into μ -calculus and two dual translations back to λ-calculus, and we recover known CPS translations by composing these translations." @default.
- W2016326123 created "2016-06-24" @default.
- W2016326123 creator A5060487163 @default.
- W2016326123 creator A5064315130 @default.
- W2016326123 date "2000-09-01" @default.
- W2016326123 modified "2023-09-30" @default.
- W2016326123 title "The duality of computation" @default.
- W2016326123 cites W1988097129 @default.
- W2016326123 cites W2084022800 @default.
- W2016326123 cites W2088735483 @default.
- W2016326123 cites W2144747140 @default.
- W2016326123 cites W2164691248 @default.
- W2016326123 cites W2177357765 @default.
- W2016326123 doi "https://doi.org/10.1145/351240.351262" @default.
- W2016326123 hasPublicationYear "2000" @default.
- W2016326123 type Work @default.
- W2016326123 sameAs 2016326123 @default.
- W2016326123 citedByCount "238" @default.
- W2016326123 countsByYear W20163261232012 @default.
- W2016326123 countsByYear W20163261232013 @default.
- W2016326123 countsByYear W20163261232014 @default.
- W2016326123 countsByYear W20163261232015 @default.
- W2016326123 countsByYear W20163261232016 @default.
- W2016326123 countsByYear W20163261232017 @default.
- W2016326123 countsByYear W20163261232018 @default.
- W2016326123 countsByYear W20163261232019 @default.
- W2016326123 countsByYear W20163261232020 @default.
- W2016326123 countsByYear W20163261232021 @default.
- W2016326123 countsByYear W20163261232022 @default.
- W2016326123 countsByYear W20163261232023 @default.
- W2016326123 crossrefType "proceedings-article" @default.
- W2016326123 hasAuthorship W2016326123A5060487163 @default.
- W2016326123 hasAuthorship W2016326123A5064315130 @default.
- W2016326123 hasBestOaLocation W20163261231 @default.
- W2016326123 hasConcept C108710211 @default.
- W2016326123 hasConcept C111404639 @default.
- W2016326123 hasConcept C118615104 @default.
- W2016326123 hasConcept C135790938 @default.
- W2016326123 hasConcept C136119220 @default.
- W2016326123 hasConcept C142156749 @default.
- W2016326123 hasConcept C151730666 @default.
- W2016326123 hasConcept C154945302 @default.
- W2016326123 hasConcept C199343813 @default.
- W2016326123 hasConcept C202444582 @default.
- W2016326123 hasConcept C2524010 @default.
- W2016326123 hasConcept C2777686260 @default.
- W2016326123 hasConcept C2779343474 @default.
- W2016326123 hasConcept C33923547 @default.
- W2016326123 hasConcept C41008148 @default.
- W2016326123 hasConcept C60048249 @default.
- W2016326123 hasConcept C61237538 @default.
- W2016326123 hasConcept C62073222 @default.
- W2016326123 hasConcept C6489637 @default.
- W2016326123 hasConcept C65880906 @default.
- W2016326123 hasConcept C71924100 @default.
- W2016326123 hasConcept C85343465 @default.
- W2016326123 hasConcept C86803240 @default.
- W2016326123 hasConceptScore W2016326123C108710211 @default.
- W2016326123 hasConceptScore W2016326123C111404639 @default.
- W2016326123 hasConceptScore W2016326123C118615104 @default.
- W2016326123 hasConceptScore W2016326123C135790938 @default.
- W2016326123 hasConceptScore W2016326123C136119220 @default.
- W2016326123 hasConceptScore W2016326123C142156749 @default.
- W2016326123 hasConceptScore W2016326123C151730666 @default.
- W2016326123 hasConceptScore W2016326123C154945302 @default.
- W2016326123 hasConceptScore W2016326123C199343813 @default.
- W2016326123 hasConceptScore W2016326123C202444582 @default.
- W2016326123 hasConceptScore W2016326123C2524010 @default.
- W2016326123 hasConceptScore W2016326123C2777686260 @default.
- W2016326123 hasConceptScore W2016326123C2779343474 @default.
- W2016326123 hasConceptScore W2016326123C33923547 @default.
- W2016326123 hasConceptScore W2016326123C41008148 @default.
- W2016326123 hasConceptScore W2016326123C60048249 @default.
- W2016326123 hasConceptScore W2016326123C61237538 @default.
- W2016326123 hasConceptScore W2016326123C62073222 @default.
- W2016326123 hasConceptScore W2016326123C6489637 @default.
- W2016326123 hasConceptScore W2016326123C65880906 @default.
- W2016326123 hasConceptScore W2016326123C71924100 @default.
- W2016326123 hasConceptScore W2016326123C85343465 @default.
- W2016326123 hasConceptScore W2016326123C86803240 @default.
- W2016326123 hasLocation W20163261231 @default.
- W2016326123 hasOpenAccess W2016326123 @default.
- W2016326123 hasPrimaryLocation W20163261231 @default.
- W2016326123 hasRelatedWork W1178513060 @default.
- W2016326123 hasRelatedWork W1571434350 @default.
- W2016326123 hasRelatedWork W2042469880 @default.
- W2016326123 hasRelatedWork W2285424334 @default.
- W2016326123 hasRelatedWork W2761777792 @default.
- W2016326123 hasRelatedWork W2891688494 @default.
- W2016326123 hasRelatedWork W3081507517 @default.
- W2016326123 hasRelatedWork W4287686126 @default.
- W2016326123 hasRelatedWork W851658754 @default.
- W2016326123 hasRelatedWork W1839771719 @default.
- W2016326123 isParatext "false" @default.
- W2016326123 isRetracted "false" @default.
- W2016326123 magId "2016326123" @default.
- W2016326123 workType "article" @default.