Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014371684> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2014371684 endingPage "65" @default.
- W2014371684 startingPage "38" @default.
- W2014371684 abstract "We present a version of Herbelin’s λ¯μ-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent and enjoys the PSN (preservation of strong normalization) property for the isomorphic image of λμ-calculus, which in turn yields a confluent and strongly normalizing local-step cut-elimination procedure for classical logic." @default.
- W2014371684 created "2016-06-24" @default.
- W2014371684 creator A5051660731 @default.
- W2014371684 date "2008-04-01" @default.
- W2014371684 modified "2023-09-26" @default.
- W2014371684 title "Call-by-name reduction and cut-elimination in classical logic" @default.
- W2014371684 cites W1487717359 @default.
- W2014371684 cites W1495851901 @default.
- W2014371684 cites W1583295953 @default.
- W2014371684 cites W1978047141 @default.
- W2014371684 cites W2002288870 @default.
- W2014371684 cites W2008920425 @default.
- W2014371684 cites W2012956948 @default.
- W2014371684 cites W2016326123 @default.
- W2014371684 cites W2053198071 @default.
- W2014371684 cites W2095436832 @default.
- W2014371684 cites W2096191306 @default.
- W2014371684 cites W2120926795 @default.
- W2014371684 cites W2122197073 @default.
- W2014371684 cites W2132936218 @default.
- W2014371684 cites W2160135306 @default.
- W2014371684 cites W2164691248 @default.
- W2014371684 cites W2911865844 @default.
- W2014371684 cites W657829122 @default.
- W2014371684 cites W2521726481 @default.
- W2014371684 doi "https://doi.org/10.1016/j.apal.2008.01.002" @default.
- W2014371684 hasPublicationYear "2008" @default.
- W2014371684 type Work @default.
- W2014371684 sameAs 2014371684 @default.
- W2014371684 citedByCount "4" @default.
- W2014371684 countsByYear W20143716842013 @default.
- W2014371684 countsByYear W20143716842016 @default.
- W2014371684 countsByYear W20143716842022 @default.
- W2014371684 crossrefType "journal-article" @default.
- W2014371684 hasAuthorship W2014371684A5051660731 @default.
- W2014371684 hasConcept C108710211 @default.
- W2014371684 hasConcept C111335779 @default.
- W2014371684 hasConcept C111404639 @default.
- W2014371684 hasConcept C11413529 @default.
- W2014371684 hasConcept C118615104 @default.
- W2014371684 hasConcept C135790938 @default.
- W2014371684 hasConcept C136119220 @default.
- W2014371684 hasConcept C136886441 @default.
- W2014371684 hasConcept C144024400 @default.
- W2014371684 hasConcept C19165224 @default.
- W2014371684 hasConcept C199343813 @default.
- W2014371684 hasConcept C202444582 @default.
- W2014371684 hasConcept C2524010 @default.
- W2014371684 hasConcept C2777686260 @default.
- W2014371684 hasConcept C32241873 @default.
- W2014371684 hasConcept C33923547 @default.
- W2014371684 hasConcept C41008148 @default.
- W2014371684 hasConcept C62073222 @default.
- W2014371684 hasConcept C6489637 @default.
- W2014371684 hasConcept C65880906 @default.
- W2014371684 hasConcept C71924100 @default.
- W2014371684 hasConceptScore W2014371684C108710211 @default.
- W2014371684 hasConceptScore W2014371684C111335779 @default.
- W2014371684 hasConceptScore W2014371684C111404639 @default.
- W2014371684 hasConceptScore W2014371684C11413529 @default.
- W2014371684 hasConceptScore W2014371684C118615104 @default.
- W2014371684 hasConceptScore W2014371684C135790938 @default.
- W2014371684 hasConceptScore W2014371684C136119220 @default.
- W2014371684 hasConceptScore W2014371684C136886441 @default.
- W2014371684 hasConceptScore W2014371684C144024400 @default.
- W2014371684 hasConceptScore W2014371684C19165224 @default.
- W2014371684 hasConceptScore W2014371684C199343813 @default.
- W2014371684 hasConceptScore W2014371684C202444582 @default.
- W2014371684 hasConceptScore W2014371684C2524010 @default.
- W2014371684 hasConceptScore W2014371684C2777686260 @default.
- W2014371684 hasConceptScore W2014371684C32241873 @default.
- W2014371684 hasConceptScore W2014371684C33923547 @default.
- W2014371684 hasConceptScore W2014371684C41008148 @default.
- W2014371684 hasConceptScore W2014371684C62073222 @default.
- W2014371684 hasConceptScore W2014371684C6489637 @default.
- W2014371684 hasConceptScore W2014371684C65880906 @default.
- W2014371684 hasConceptScore W2014371684C71924100 @default.
- W2014371684 hasIssue "1-3" @default.
- W2014371684 hasLocation W20143716841 @default.
- W2014371684 hasOpenAccess W2014371684 @default.
- W2014371684 hasPrimaryLocation W20143716841 @default.
- W2014371684 hasRelatedWork W1559721183 @default.
- W2014371684 hasRelatedWork W1562648369 @default.
- W2014371684 hasRelatedWork W2014371684 @default.
- W2014371684 hasRelatedWork W2060269912 @default.
- W2014371684 hasRelatedWork W2137780954 @default.
- W2014371684 hasRelatedWork W2270243227 @default.
- W2014371684 hasRelatedWork W3196962987 @default.
- W2014371684 hasRelatedWork W1839771719 @default.
- W2014371684 hasRelatedWork W2584381231 @default.
- W2014371684 hasRelatedWork W2753829850 @default.
- W2014371684 hasVolume "153" @default.
- W2014371684 isParatext "false" @default.
- W2014371684 isRetracted "false" @default.
- W2014371684 magId "2014371684" @default.
- W2014371684 workType "article" @default.