Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952921960> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2952921960 abstract "We review the close relationship between abstract machines for (call-by-name or call-by-value) lambda-calculi (extended with Felleisen's C) and sequent calculus, reintroducing on the way Curien-Herbelin's syntactic kit expressing the duality of computation. We use this kit to provide a term language for a presentation of LK (with conjunction, disjunction, and negation), and to transcribe cut elimination as (non confluent) rewriting. A key slogan here, which may appear here in print for the first time, is that commutative cut elimination rules are explicit substitution propagation rules. We then describe the focalised proof search discipline (in the classical setting), and narrow down the language and the rewriting rules to a confluent calculus (a variant of the second author's focalising system L). We then define a game of patterns and counterpatterns, leading us to a fully focalised finitary syntax for a synthetic presentation of classical logic, that provides a quotient on (focalised) proofs, abstracting out the order of decomposition of negative connectives." @default.
- W2952921960 created "2019-06-27" @default.
- W2952921960 creator A5009942096 @default.
- W2952921960 creator A5064315130 @default.
- W2952921960 date "2010-06-11" @default.
- W2952921960 modified "2023-09-27" @default.
- W2952921960 title "The duality of computation under focus" @default.
- W2952921960 cites W1493411447 @default.
- W2952921960 cites W1495851901 @default.
- W2952921960 cites W1573832301 @default.
- W2952921960 cites W159715351 @default.
- W2952921960 cites W1738264400 @default.
- W2952921960 cites W1851437493 @default.
- W2952921960 cites W1985185257 @default.
- W2952921960 cites W1988097129 @default.
- W2952921960 cites W2008920425 @default.
- W2952921960 cites W2016326123 @default.
- W2952921960 cites W2040871029 @default.
- W2952921960 cites W2053198071 @default.
- W2952921960 cites W2070324762 @default.
- W2952921960 cites W2088735483 @default.
- W2952921960 cites W2113757735 @default.
- W2952921960 cites W2123884954 @default.
- W2952921960 cites W2124056143 @default.
- W2952921960 cites W2135287414 @default.
- W2952921960 cites W2145617779 @default.
- W2952921960 cites W2160728467 @default.
- W2952921960 cites W2164691248 @default.
- W2952921960 hasPublicationYear "2010" @default.
- W2952921960 type Work @default.
- W2952921960 sameAs 2952921960 @default.
- W2952921960 citedByCount "4" @default.
- W2952921960 countsByYear W29529219602016 @default.
- W2952921960 countsByYear W29529219602021 @default.
- W2952921960 crossrefType "posted-content" @default.
- W2952921960 hasAuthorship W2952921960A5009942096 @default.
- W2952921960 hasAuthorship W2952921960A5064315130 @default.
- W2952921960 hasConcept C108710211 @default.
- W2952921960 hasConcept C136119220 @default.
- W2952921960 hasConcept C154690210 @default.
- W2952921960 hasConcept C154945302 @default.
- W2952921960 hasConcept C183778304 @default.
- W2952921960 hasConcept C199343813 @default.
- W2952921960 hasConcept C199360897 @default.
- W2952921960 hasConcept C202444582 @default.
- W2952921960 hasConcept C2185349 @default.
- W2952921960 hasConcept C2524010 @default.
- W2952921960 hasConcept C2777686260 @default.
- W2952921960 hasConcept C2778003309 @default.
- W2952921960 hasConcept C2778023678 @default.
- W2952921960 hasConcept C33923547 @default.
- W2952921960 hasConcept C41008148 @default.
- W2952921960 hasConcept C60048249 @default.
- W2952921960 hasConcept C65880906 @default.
- W2952921960 hasConcept C71924100 @default.
- W2952921960 hasConceptScore W2952921960C108710211 @default.
- W2952921960 hasConceptScore W2952921960C136119220 @default.
- W2952921960 hasConceptScore W2952921960C154690210 @default.
- W2952921960 hasConceptScore W2952921960C154945302 @default.
- W2952921960 hasConceptScore W2952921960C183778304 @default.
- W2952921960 hasConceptScore W2952921960C199343813 @default.
- W2952921960 hasConceptScore W2952921960C199360897 @default.
- W2952921960 hasConceptScore W2952921960C202444582 @default.
- W2952921960 hasConceptScore W2952921960C2185349 @default.
- W2952921960 hasConceptScore W2952921960C2524010 @default.
- W2952921960 hasConceptScore W2952921960C2777686260 @default.
- W2952921960 hasConceptScore W2952921960C2778003309 @default.
- W2952921960 hasConceptScore W2952921960C2778023678 @default.
- W2952921960 hasConceptScore W2952921960C33923547 @default.
- W2952921960 hasConceptScore W2952921960C41008148 @default.
- W2952921960 hasConceptScore W2952921960C60048249 @default.
- W2952921960 hasConceptScore W2952921960C65880906 @default.
- W2952921960 hasConceptScore W2952921960C71924100 @default.
- W2952921960 hasLocation W29529219601 @default.
- W2952921960 hasOpenAccess W2952921960 @default.
- W2952921960 hasPrimaryLocation W29529219601 @default.
- W2952921960 hasRelatedWork W103061485 @default.
- W2952921960 hasRelatedWork W1519884010 @default.
- W2952921960 hasRelatedWork W1537613968 @default.
- W2952921960 hasRelatedWork W1558222109 @default.
- W2952921960 hasRelatedWork W1978047141 @default.
- W2952921960 hasRelatedWork W2016326123 @default.
- W2952921960 hasRelatedWork W2027556526 @default.
- W2952921960 hasRelatedWork W2074659429 @default.
- W2952921960 hasRelatedWork W2088507877 @default.
- W2952921960 hasRelatedWork W2089599948 @default.
- W2952921960 hasRelatedWork W2102706914 @default.
- W2952921960 hasRelatedWork W2491817307 @default.
- W2952921960 hasRelatedWork W2530278950 @default.
- W2952921960 hasRelatedWork W2736163332 @default.
- W2952921960 hasRelatedWork W2786132250 @default.
- W2952921960 hasRelatedWork W2900352879 @default.
- W2952921960 hasRelatedWork W2921784152 @default.
- W2952921960 hasRelatedWork W2968856189 @default.
- W2952921960 hasRelatedWork W3042468750 @default.
- W2952921960 hasRelatedWork W340166063 @default.
- W2952921960 isParatext "false" @default.
- W2952921960 isRetracted "false" @default.
- W2952921960 magId "2952921960" @default.
- W2952921960 workType "article" @default.