Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978047141> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1978047141 endingPage "730" @default.
- W1978047141 startingPage "714" @default.
- W1978047141 abstract "We present a typed calculus λξ isomorphic to the implicational fragment of the classical sequent calculus LK. Reductions in LK eliminate the cut-rule by local rewriting steps, which correspond to the evaluation of explicit substitutions in the calculus. This bridges the gap between Curien and Herbelinʼns λ μmu;-calculus and Urbanʼns rewriting system for proofs. Encodings of one into the other are defined, and from one of them we derive the strong normalization of λ μmu;. Identifying two reduction strategies CBV and CBN in Urban's rewriting system enables us to derive two corresponding semantics of continuations from those of λ μmu;, via the other encoding." @default.
- W1978047141 created "2016-06-24" @default.
- W1978047141 creator A5012745022 @default.
- W1978047141 date "2003-12-01" @default.
- W1978047141 modified "2023-10-01" @default.
- W1978047141 title "Call-by-value, call-by-name, and strong normalization for the classical sequent calculus" @default.
- W1978047141 cites W2008920425 @default.
- W1978047141 cites W2016326123 @default.
- W1978047141 cites W2152013675 @default.
- W1978047141 cites W2169721388 @default.
- W1978047141 cites W3135320517 @default.
- W1978047141 cites W1567833349 @default.
- W1978047141 doi "https://doi.org/10.1016/s1571-0661(05)82619-2" @default.
- W1978047141 hasPublicationYear "2003" @default.
- W1978047141 type Work @default.
- W1978047141 sameAs 1978047141 @default.
- W1978047141 citedByCount "27" @default.
- W1978047141 countsByYear W19780471412012 @default.
- W1978047141 countsByYear W19780471412013 @default.
- W1978047141 countsByYear W19780471412016 @default.
- W1978047141 countsByYear W19780471412017 @default.
- W1978047141 countsByYear W19780471412018 @default.
- W1978047141 crossrefType "journal-article" @default.
- W1978047141 hasAuthorship W1978047141A5012745022 @default.
- W1978047141 hasBestOaLocation W19780471411 @default.
- W1978047141 hasConcept C108710211 @default.
- W1978047141 hasConcept C111404639 @default.
- W1978047141 hasConcept C118615104 @default.
- W1978047141 hasConcept C135790938 @default.
- W1978047141 hasConcept C136886441 @default.
- W1978047141 hasConcept C144024400 @default.
- W1978047141 hasConcept C154690210 @default.
- W1978047141 hasConcept C159333733 @default.
- W1978047141 hasConcept C19165224 @default.
- W1978047141 hasConcept C199343813 @default.
- W1978047141 hasConcept C199360897 @default.
- W1978047141 hasConcept C2524010 @default.
- W1978047141 hasConcept C2777686260 @default.
- W1978047141 hasConcept C33923547 @default.
- W1978047141 hasConcept C41008148 @default.
- W1978047141 hasConcept C62073222 @default.
- W1978047141 hasConcept C6489637 @default.
- W1978047141 hasConcept C65880906 @default.
- W1978047141 hasConcept C71924100 @default.
- W1978047141 hasConcept C89421646 @default.
- W1978047141 hasConceptScore W1978047141C108710211 @default.
- W1978047141 hasConceptScore W1978047141C111404639 @default.
- W1978047141 hasConceptScore W1978047141C118615104 @default.
- W1978047141 hasConceptScore W1978047141C135790938 @default.
- W1978047141 hasConceptScore W1978047141C136886441 @default.
- W1978047141 hasConceptScore W1978047141C144024400 @default.
- W1978047141 hasConceptScore W1978047141C154690210 @default.
- W1978047141 hasConceptScore W1978047141C159333733 @default.
- W1978047141 hasConceptScore W1978047141C19165224 @default.
- W1978047141 hasConceptScore W1978047141C199343813 @default.
- W1978047141 hasConceptScore W1978047141C199360897 @default.
- W1978047141 hasConceptScore W1978047141C2524010 @default.
- W1978047141 hasConceptScore W1978047141C2777686260 @default.
- W1978047141 hasConceptScore W1978047141C33923547 @default.
- W1978047141 hasConceptScore W1978047141C41008148 @default.
- W1978047141 hasConceptScore W1978047141C62073222 @default.
- W1978047141 hasConceptScore W1978047141C6489637 @default.
- W1978047141 hasConceptScore W1978047141C65880906 @default.
- W1978047141 hasConceptScore W1978047141C71924100 @default.
- W1978047141 hasConceptScore W1978047141C89421646 @default.
- W1978047141 hasIssue "4" @default.
- W1978047141 hasLocation W19780471411 @default.
- W1978047141 hasLocation W19780471412 @default.
- W1978047141 hasLocation W19780471413 @default.
- W1978047141 hasOpenAccess W1978047141 @default.
- W1978047141 hasPrimaryLocation W19780471411 @default.
- W1978047141 hasRelatedWork W1479042755 @default.
- W1978047141 hasRelatedWork W1562648369 @default.
- W1978047141 hasRelatedWork W2793983771 @default.
- W1978047141 hasRelatedWork W2891688494 @default.
- W1978047141 hasRelatedWork W3090765541 @default.
- W1978047141 hasRelatedWork W3160700379 @default.
- W1978047141 hasRelatedWork W4210480840 @default.
- W1978047141 hasRelatedWork W4295728898 @default.
- W1978047141 hasRelatedWork W1839771719 @default.
- W1978047141 hasRelatedWork W2584381231 @default.
- W1978047141 hasVolume "86" @default.
- W1978047141 isParatext "false" @default.
- W1978047141 isRetracted "false" @default.
- W1978047141 magId "1978047141" @default.
- W1978047141 workType "article" @default.