Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567648932> ?p ?o ?g. }
- W1567648932 endingPage "123" @default.
- W1567648932 startingPage "106" @default.
- W1567648932 abstract "A general reducibility method is developed for proving reduction properties of lambda terms typeable in intersection type systems with and without the universal type Ω. Sufficient conditions for its application are derived. This method leads to uniform proofs of confluence, standardization, and weak head normalization of terms typeable in the system with the type Ω. The method extends Tait's reducibility method for the proof of strong normalization of the simply typed lambda calculus, Krivine's extension of the same method for the strong normalization of intersection type system without Ω, and Statman-Mitchell's logical relation method for the proof of confluence of βη-reduction on the simply typed lambda terms. As a consequence, the confluence and the standardization of all (untyped) lambda terms is obtained." @default.
- W1567648932 created "2016-06-24" @default.
- W1567648932 creator A5031880141 @default.
- W1567648932 creator A5077532418 @default.
- W1567648932 date "2003-02-01" @default.
- W1567648932 modified "2023-09-24" @default.
- W1567648932 title "Reducibility" @default.
- W1567648932 cites W126630044 @default.
- W1567648932 cites W138735973 @default.
- W1567648932 cites W1487166760 @default.
- W1567648932 cites W1520157111 @default.
- W1567648932 cites W1550777778 @default.
- W1567648932 cites W1965297988 @default.
- W1567648932 cites W1970227944 @default.
- W1567648932 cites W1975280443 @default.
- W1567648932 cites W1981303668 @default.
- W1567648932 cites W2006005127 @default.
- W1567648932 cites W2031805453 @default.
- W1567648932 cites W2044758536 @default.
- W1567648932 cites W2085670481 @default.
- W1567648932 cites W2088979440 @default.
- W1567648932 cites W2149837936 @default.
- W1567648932 cites W2154273644 @default.
- W1567648932 cites W2211325406 @default.
- W1567648932 cites W2988921440 @default.
- W1567648932 doi "https://doi.org/10.1016/s1571-0661(04)80493-6" @default.
- W1567648932 hasPublicationYear "2003" @default.
- W1567648932 type Work @default.
- W1567648932 sameAs 1567648932 @default.
- W1567648932 citedByCount "8" @default.
- W1567648932 countsByYear W15676489322012 @default.
- W1567648932 countsByYear W15676489322013 @default.
- W1567648932 countsByYear W15676489322014 @default.
- W1567648932 crossrefType "journal-article" @default.
- W1567648932 hasAuthorship W1567648932A5031880141 @default.
- W1567648932 hasAuthorship W1567648932A5077532418 @default.
- W1567648932 hasBestOaLocation W15676489321 @default.
- W1567648932 hasConcept C108710211 @default.
- W1567648932 hasConcept C118615104 @default.
- W1567648932 hasConcept C120665830 @default.
- W1567648932 hasConcept C121332964 @default.
- W1567648932 hasConcept C135790938 @default.
- W1567648932 hasConcept C136886441 @default.
- W1567648932 hasConcept C142156749 @default.
- W1567648932 hasConcept C144024400 @default.
- W1567648932 hasConcept C159333733 @default.
- W1567648932 hasConcept C18903297 @default.
- W1567648932 hasConcept C19165224 @default.
- W1567648932 hasConcept C199343813 @default.
- W1567648932 hasConcept C199360897 @default.
- W1567648932 hasConcept C2524010 @default.
- W1567648932 hasConcept C2777299769 @default.
- W1567648932 hasConcept C2777686260 @default.
- W1567648932 hasConcept C2778113609 @default.
- W1567648932 hasConcept C33923547 @default.
- W1567648932 hasConcept C41008148 @default.
- W1567648932 hasConcept C55128367 @default.
- W1567648932 hasConcept C61237538 @default.
- W1567648932 hasConcept C71924100 @default.
- W1567648932 hasConcept C77906462 @default.
- W1567648932 hasConcept C86803240 @default.
- W1567648932 hasConceptScore W1567648932C108710211 @default.
- W1567648932 hasConceptScore W1567648932C118615104 @default.
- W1567648932 hasConceptScore W1567648932C120665830 @default.
- W1567648932 hasConceptScore W1567648932C121332964 @default.
- W1567648932 hasConceptScore W1567648932C135790938 @default.
- W1567648932 hasConceptScore W1567648932C136886441 @default.
- W1567648932 hasConceptScore W1567648932C142156749 @default.
- W1567648932 hasConceptScore W1567648932C144024400 @default.
- W1567648932 hasConceptScore W1567648932C159333733 @default.
- W1567648932 hasConceptScore W1567648932C18903297 @default.
- W1567648932 hasConceptScore W1567648932C19165224 @default.
- W1567648932 hasConceptScore W1567648932C199343813 @default.
- W1567648932 hasConceptScore W1567648932C199360897 @default.
- W1567648932 hasConceptScore W1567648932C2524010 @default.
- W1567648932 hasConceptScore W1567648932C2777299769 @default.
- W1567648932 hasConceptScore W1567648932C2777686260 @default.
- W1567648932 hasConceptScore W1567648932C2778113609 @default.
- W1567648932 hasConceptScore W1567648932C33923547 @default.
- W1567648932 hasConceptScore W1567648932C41008148 @default.
- W1567648932 hasConceptScore W1567648932C55128367 @default.
- W1567648932 hasConceptScore W1567648932C61237538 @default.
- W1567648932 hasConceptScore W1567648932C71924100 @default.
- W1567648932 hasConceptScore W1567648932C77906462 @default.
- W1567648932 hasConceptScore W1567648932C86803240 @default.
- W1567648932 hasIssue "1" @default.
- W1567648932 hasLocation W15676489321 @default.
- W1567648932 hasLocation W15676489322 @default.
- W1567648932 hasOpenAccess W1567648932 @default.
- W1567648932 hasPrimaryLocation W15676489321 @default.
- W1567648932 hasRelatedWork W1567648932 @default.
- W1567648932 hasRelatedWork W1584499102 @default.
- W1567648932 hasRelatedWork W1915655540 @default.
- W1567648932 hasRelatedWork W2005924676 @default.
- W1567648932 hasRelatedWork W2143940368 @default.
- W1567648932 hasRelatedWork W2398461955 @default.
- W1567648932 hasRelatedWork W2615070270 @default.
- W1567648932 hasRelatedWork W2964036001 @default.