Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044297003> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2044297003 endingPage "71" @default.
- W2044297003 startingPage "35" @default.
- W2044297003 abstract "For some typed λ -calculi it is easier to prove weak normalization than strong normalization. Techniques to infer the latter from the former have been invented over the last twenty years by Nederpelt, Klop, Khasidashvili, Karr, de Groote, and Kfoury and Wells. However, these techniques infer strong normalization of one notion of reduction from weak normalization of a more complicated notion of reduction. This paper presents a new technique to infer strong normalization of a notion of reduction in a typed λ -calculus from weak normalization of the same notion of reduction. The technique is demonstrated to work on some well-known systems including second-order λ -calculus and the system of positive, recursive types. It gives hope for a positive answer to the Barendregt–Geuvers conjecture stating that every pure type system which is weakly normalizing is also strongly normalizing. The paper also analyzes the relationship between the techniques mentioned above, and reviews, in less detail, other techniques for proving strong normalization." @default.
- W2044297003 created "2016-06-24" @default.
- W2044297003 creator A5037366569 @default.
- W2044297003 date "1997-02-01" @default.
- W2044297003 modified "2023-09-29" @default.
- W2044297003 title "Strong Normalization from Weak Normalization in Typedλ-Calculi" @default.
- W2044297003 cites W1509641293 @default.
- W2044297003 cites W1589007054 @default.
- W2044297003 cites W1596403187 @default.
- W2044297003 cites W1670545880 @default.
- W2044297003 cites W1915655540 @default.
- W2044297003 cites W1972458837 @default.
- W2044297003 cites W1975575519 @default.
- W2044297003 cites W1997143185 @default.
- W2044297003 cites W1998873876 @default.
- W2044297003 cites W2000972984 @default.
- W2044297003 cites W2002837892 @default.
- W2044297003 cites W2008868842 @default.
- W2044297003 cites W2022062784 @default.
- W2044297003 cites W2023773759 @default.
- W2044297003 cites W2030663607 @default.
- W2044297003 cites W2030975201 @default.
- W2044297003 cites W2051328776 @default.
- W2044297003 cites W2074231109 @default.
- W2044297003 cites W2087917645 @default.
- W2044297003 cites W2088735483 @default.
- W2044297003 cites W2118527795 @default.
- W2044297003 cites W2135287414 @default.
- W2044297003 cites W2138875086 @default.
- W2044297003 cites W2149837936 @default.
- W2044297003 cites W2155411851 @default.
- W2044297003 cites W2156268797 @default.
- W2044297003 cites W2160283637 @default.
- W2044297003 cites W2165431910 @default.
- W2044297003 cites W2294422796 @default.
- W2044297003 cites W4212868911 @default.
- W2044297003 doi "https://doi.org/10.1006/inco.1996.2622" @default.
- W2044297003 hasPublicationYear "1997" @default.
- W2044297003 type Work @default.
- W2044297003 sameAs 2044297003 @default.
- W2044297003 citedByCount "30" @default.
- W2044297003 countsByYear W20442970032013 @default.
- W2044297003 countsByYear W20442970032015 @default.
- W2044297003 countsByYear W20442970032018 @default.
- W2044297003 crossrefType "journal-article" @default.
- W2044297003 hasAuthorship W2044297003A5037366569 @default.
- W2044297003 hasBestOaLocation W20442970031 @default.
- W2044297003 hasConcept C11413529 @default.
- W2044297003 hasConcept C136886441 @default.
- W2044297003 hasConcept C144024400 @default.
- W2044297003 hasConcept C19165224 @default.
- W2044297003 hasConcept C199343813 @default.
- W2044297003 hasConcept C2777686260 @default.
- W2044297003 hasConcept C33923547 @default.
- W2044297003 hasConcept C41008148 @default.
- W2044297003 hasConcept C71924100 @default.
- W2044297003 hasConceptScore W2044297003C11413529 @default.
- W2044297003 hasConceptScore W2044297003C136886441 @default.
- W2044297003 hasConceptScore W2044297003C144024400 @default.
- W2044297003 hasConceptScore W2044297003C19165224 @default.
- W2044297003 hasConceptScore W2044297003C199343813 @default.
- W2044297003 hasConceptScore W2044297003C2777686260 @default.
- W2044297003 hasConceptScore W2044297003C33923547 @default.
- W2044297003 hasConceptScore W2044297003C41008148 @default.
- W2044297003 hasConceptScore W2044297003C71924100 @default.
- W2044297003 hasIssue "1" @default.
- W2044297003 hasLocation W20442970031 @default.
- W2044297003 hasOpenAccess W2044297003 @default.
- W2044297003 hasPrimaryLocation W20442970031 @default.
- W2044297003 hasRelatedWork W1970460479 @default.
- W2044297003 hasRelatedWork W2053326843 @default.
- W2044297003 hasRelatedWork W2101729768 @default.
- W2044297003 hasRelatedWork W2333698505 @default.
- W2044297003 hasRelatedWork W2351491280 @default.
- W2044297003 hasRelatedWork W2371447506 @default.
- W2044297003 hasRelatedWork W2386767533 @default.
- W2044297003 hasRelatedWork W2946556182 @default.
- W2044297003 hasRelatedWork W3004108596 @default.
- W2044297003 hasRelatedWork W303980170 @default.
- W2044297003 hasVolume "133" @default.
- W2044297003 isParatext "false" @default.
- W2044297003 isRetracted "false" @default.
- W2044297003 magId "2044297003" @default.
- W2044297003 workType "article" @default.