Matches in SemOpenAlex for { <https://semopenalex.org/work/W2563232973> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2563232973 abstract "In this paper we give an arithmetical proof of the strong normalization of lambda-Sym-Prop of Berardi and Barbanera [1], which can be considered as a formulae-as-types translation of classical propositional logic in natural deduction style. Then we give a translation between the lambda-Sym-Prop-calculus and the lambda-bar-mu-mu-tilde-star-calculus, which is the implicational part of the lambda-bar-mu-mu-tilde-calculus invented by Curien and Herbelin [3] extended with negation. In this paper we adapt the method of David and Nour [4] for proving strong normalization. The novelty in our proof is the notion of zoom-in sequences of redexes, which leads us directly to the proof of the main theorem." @default.
- W2563232973 created "2017-01-06" @default.
- W2563232973 creator A5018831581 @default.
- W2563232973 creator A5025280346 @default.
- W2563232973 date "2017-06-22" @default.
- W2563232973 modified "2023-09-27" @default.
- W2563232973 title "Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi" @default.
- W2563232973 cites W1486617783 @default.
- W2563232973 cites W1494376884 @default.
- W2563232973 cites W1584250132 @default.
- W2563232973 cites W1804512345 @default.
- W2563232973 cites W2008920425 @default.
- W2563232973 cites W2016326123 @default.
- W2563232973 cites W2130554190 @default.
- W2563232973 cites W2135287414 @default.
- W2563232973 cites W2137657593 @default.
- W2563232973 cites W2149837936 @default.
- W2563232973 cites W2177357765 @default.
- W2563232973 cites W2179621677 @default.
- W2563232973 cites W2248931122 @default.
- W2563232973 hasPublicationYear "2017" @default.
- W2563232973 type Work @default.
- W2563232973 sameAs 2563232973 @default.
- W2563232973 citedByCount "0" @default.
- W2563232973 crossrefType "posted-content" @default.
- W2563232973 hasAuthorship W2563232973A5018831581 @default.
- W2563232973 hasAuthorship W2563232973A5025280346 @default.
- W2563232973 hasConcept C114614502 @default.
- W2563232973 hasConcept C121332964 @default.
- W2563232973 hasConcept C136886441 @default.
- W2563232973 hasConcept C144024400 @default.
- W2563232973 hasConcept C19165224 @default.
- W2563232973 hasConcept C199343813 @default.
- W2563232973 hasConcept C2777686260 @default.
- W2563232973 hasConcept C2778113609 @default.
- W2563232973 hasConcept C33923547 @default.
- W2563232973 hasConcept C62520636 @default.
- W2563232973 hasConcept C71924100 @default.
- W2563232973 hasConceptScore W2563232973C114614502 @default.
- W2563232973 hasConceptScore W2563232973C121332964 @default.
- W2563232973 hasConceptScore W2563232973C136886441 @default.
- W2563232973 hasConceptScore W2563232973C144024400 @default.
- W2563232973 hasConceptScore W2563232973C19165224 @default.
- W2563232973 hasConceptScore W2563232973C199343813 @default.
- W2563232973 hasConceptScore W2563232973C2777686260 @default.
- W2563232973 hasConceptScore W2563232973C2778113609 @default.
- W2563232973 hasConceptScore W2563232973C33923547 @default.
- W2563232973 hasConceptScore W2563232973C62520636 @default.
- W2563232973 hasConceptScore W2563232973C71924100 @default.
- W2563232973 hasLocation W25632329731 @default.
- W2563232973 hasOpenAccess W2563232973 @default.
- W2563232973 hasPrimaryLocation W25632329731 @default.
- W2563232973 hasRelatedWork W1487251594 @default.
- W2563232973 hasRelatedWork W1502427414 @default.
- W2563232973 hasRelatedWork W1530395783 @default.
- W2563232973 hasRelatedWork W160450709 @default.
- W2563232973 hasRelatedWork W1607021747 @default.
- W2563232973 hasRelatedWork W1976486550 @default.
- W2563232973 hasRelatedWork W1993890055 @default.
- W2563232973 hasRelatedWork W2036029152 @default.
- W2563232973 hasRelatedWork W207542725 @default.
- W2563232973 hasRelatedWork W2092082919 @default.
- W2563232973 hasRelatedWork W2253420079 @default.
- W2563232973 hasRelatedWork W2806297553 @default.
- W2563232973 hasRelatedWork W29162224 @default.
- W2563232973 hasRelatedWork W2949538302 @default.
- W2563232973 hasRelatedWork W2950168006 @default.
- W2563232973 hasRelatedWork W3027333920 @default.
- W2563232973 hasRelatedWork W3100516864 @default.
- W2563232973 hasRelatedWork W3125424007 @default.
- W2563232973 hasRelatedWork W3194008643 @default.
- W2563232973 hasRelatedWork W3098488924 @default.
- W2563232973 isParatext "false" @default.
- W2563232973 isRetracted "false" @default.
- W2563232973 magId "2563232973" @default.
- W2563232973 workType "article" @default.