Matches in SemOpenAlex for { <https://semopenalex.org/work/W4214703049> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4214703049 endingPage "274" @default.
- W4214703049 startingPage "260" @default.
- W4214703049 abstract "Abstract It has been known for six years that the restriction of Girard's polymorphic system F to atomic universal instantiations interprets the full fragment of the intuitionistic propositional calculus. We firstly observe that Tait's method of “convertibility” applies quite naturally to the proof of strong normalization of the restricted Girard system. We then show that each β -reduction step of the full intuitionistic propositional calculus translates into one or more βη -reduction steps in the restricted Girard system. As a consequence, we obtain a novel and perspicuous proof of the strong normalization property for the full intuitionistic propositional calculus. It is noticed that this novel proof bestows a crucial role to η -conversions." @default.
- W4214703049 created "2022-03-02" @default.
- W4214703049 creator A5012426547 @default.
- W4214703049 creator A5043193622 @default.
- W4214703049 date "2013-03-01" @default.
- W4214703049 modified "2023-09-27" @default.
- W4214703049 title "Atomic polymorphism" @default.
- W4214703049 cites W1557413548 @default.
- W4214703049 cites W1991947308 @default.
- W4214703049 cites W2026139892 @default.
- W4214703049 cites W2046193889 @default.
- W4214703049 cites W2115775190 @default.
- W4214703049 cites W2211325406 @default.
- W4214703049 cites W44184949 @default.
- W4214703049 doi "https://doi.org/10.2178/jsl.7801180" @default.
- W4214703049 hasPublicationYear "2013" @default.
- W4214703049 type Work @default.
- W4214703049 citedByCount "9" @default.
- W4214703049 countsByYear W42147030492015 @default.
- W4214703049 countsByYear W42147030492016 @default.
- W4214703049 countsByYear W42147030492017 @default.
- W4214703049 countsByYear W42147030492018 @default.
- W4214703049 countsByYear W42147030492019 @default.
- W4214703049 countsByYear W42147030492021 @default.
- W4214703049 crossrefType "journal-article" @default.
- W4214703049 hasAuthorship W4214703049A5012426547 @default.
- W4214703049 hasAuthorship W4214703049A5043193622 @default.
- W4214703049 hasBestOaLocation W42147030492 @default.
- W4214703049 hasConcept C118615104 @default.
- W4214703049 hasConcept C136886441 @default.
- W4214703049 hasConcept C144024400 @default.
- W4214703049 hasConcept C19165224 @default.
- W4214703049 hasConcept C199343813 @default.
- W4214703049 hasConcept C2777686260 @default.
- W4214703049 hasConcept C33923547 @default.
- W4214703049 hasConcept C69562738 @default.
- W4214703049 hasConcept C71924100 @default.
- W4214703049 hasConceptScore W4214703049C118615104 @default.
- W4214703049 hasConceptScore W4214703049C136886441 @default.
- W4214703049 hasConceptScore W4214703049C144024400 @default.
- W4214703049 hasConceptScore W4214703049C19165224 @default.
- W4214703049 hasConceptScore W4214703049C199343813 @default.
- W4214703049 hasConceptScore W4214703049C2777686260 @default.
- W4214703049 hasConceptScore W4214703049C33923547 @default.
- W4214703049 hasConceptScore W4214703049C69562738 @default.
- W4214703049 hasConceptScore W4214703049C71924100 @default.
- W4214703049 hasIssue "1" @default.
- W4214703049 hasLocation W42147030491 @default.
- W4214703049 hasLocation W42147030492 @default.
- W4214703049 hasOpenAccess W4214703049 @default.
- W4214703049 hasPrimaryLocation W42147030491 @default.
- W4214703049 hasRelatedWork W1970460479 @default.
- W4214703049 hasRelatedWork W1992202379 @default.
- W4214703049 hasRelatedWork W2039224249 @default.
- W4214703049 hasRelatedWork W2053326843 @default.
- W4214703049 hasRelatedWork W2063488590 @default.
- W4214703049 hasRelatedWork W2067332512 @default.
- W4214703049 hasRelatedWork W2102781400 @default.
- W4214703049 hasRelatedWork W2177357765 @default.
- W4214703049 hasRelatedWork W4230623537 @default.
- W4214703049 hasRelatedWork W98855598 @default.
- W4214703049 hasVolume "78" @default.
- W4214703049 isParatext "false" @default.
- W4214703049 isRetracted "false" @default.
- W4214703049 workType "article" @default.