Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000582323> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2000582323 endingPage "361" @default.
- W2000582323 startingPage "317" @default.
- W2000582323 abstract "The Barendregt–Geuvers–Klop conjecture states that every weakly normalizing pure type system is also strongly normalizing. We show that this is true for a uniform class of systems which includes, e.g., the left-hand side of Barendregt's λ -cube as well as the system λU . This seems to be the first result giving a positive answer to the conjecture not merely for some concrete systems for which strong normalization is known to hold, but for a uniform class of systems in which not all systems are strongly normalizing." @default.
- W2000582323 created "2016-06-24" @default.
- W2000582323 creator A5015166077 @default.
- W2000582323 creator A5018982940 @default.
- W2000582323 creator A5037366569 @default.
- W2000582323 date "2001-10-01" @default.
- W2000582323 modified "2023-09-30" @default.
- W2000582323 title "Weak normalization implies strong normalization in a class of non-dependent pure type systems" @default.
- W2000582323 cites W1580682610 @default.
- W2000582323 cites W1968646716 @default.
- W2000582323 cites W2044297003 @default.
- W2000582323 cites W2086727636 @default.
- W2000582323 cites W2088735483 @default.
- W2000582323 cites W2138875086 @default.
- W2000582323 cites W2160283637 @default.
- W2000582323 cites W2398461955 @default.
- W2000582323 doi "https://doi.org/10.1016/s0304-3975(01)00012-3" @default.
- W2000582323 hasPublicationYear "2001" @default.
- W2000582323 type Work @default.
- W2000582323 sameAs 2000582323 @default.
- W2000582323 citedByCount "9" @default.
- W2000582323 countsByYear W20005823232013 @default.
- W2000582323 countsByYear W20005823232014 @default.
- W2000582323 countsByYear W20005823232017 @default.
- W2000582323 countsByYear W20005823232018 @default.
- W2000582323 crossrefType "journal-article" @default.
- W2000582323 hasAuthorship W2000582323A5015166077 @default.
- W2000582323 hasAuthorship W2000582323A5018982940 @default.
- W2000582323 hasAuthorship W2000582323A5037366569 @default.
- W2000582323 hasBestOaLocation W20005823231 @default.
- W2000582323 hasConcept C136886441 @default.
- W2000582323 hasConcept C144024400 @default.
- W2000582323 hasConcept C154945302 @default.
- W2000582323 hasConcept C19165224 @default.
- W2000582323 hasConcept C202444582 @default.
- W2000582323 hasConcept C2777212361 @default.
- W2000582323 hasConcept C2780990831 @default.
- W2000582323 hasConcept C33923547 @default.
- W2000582323 hasConcept C41008148 @default.
- W2000582323 hasConceptScore W2000582323C136886441 @default.
- W2000582323 hasConceptScore W2000582323C144024400 @default.
- W2000582323 hasConceptScore W2000582323C154945302 @default.
- W2000582323 hasConceptScore W2000582323C19165224 @default.
- W2000582323 hasConceptScore W2000582323C202444582 @default.
- W2000582323 hasConceptScore W2000582323C2777212361 @default.
- W2000582323 hasConceptScore W2000582323C2780990831 @default.
- W2000582323 hasConceptScore W2000582323C33923547 @default.
- W2000582323 hasConceptScore W2000582323C41008148 @default.
- W2000582323 hasIssue "1-2" @default.
- W2000582323 hasLocation W20005823231 @default.
- W2000582323 hasOpenAccess W2000582323 @default.
- W2000582323 hasPrimaryLocation W20005823231 @default.
- W2000582323 hasRelatedWork W2007735529 @default.
- W2000582323 hasRelatedWork W2046365279 @default.
- W2000582323 hasRelatedWork W2060857373 @default.
- W2000582323 hasRelatedWork W2335125628 @default.
- W2000582323 hasRelatedWork W2463560742 @default.
- W2000582323 hasRelatedWork W2606009334 @default.
- W2000582323 hasRelatedWork W2962690600 @default.
- W2000582323 hasRelatedWork W2964292522 @default.
- W2000582323 hasRelatedWork W3026358768 @default.
- W2000582323 hasRelatedWork W3106181326 @default.
- W2000582323 hasVolume "269" @default.
- W2000582323 isParatext "false" @default.
- W2000582323 isRetracted "false" @default.
- W2000582323 magId "2000582323" @default.
- W2000582323 workType "article" @default.