Matches in SemOpenAlex for { <https://semopenalex.org/work/W88544524> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W88544524 abstract "In these notes, we prove some general theorems for establishing properties of untyped A-terms, using a variant of the reducibility method. These theorems apply to (pure) A-terms typable in the systems of conjunctive types VR and V. As applications, we give simple proofs of the characterizations of the terms having head-normal forms, of the normalizable terms, and of the strongly normalizing terms. We also give a characterization of the terms having weak head-normal forms. This last result appears to be new. 'This research was partially supported by ONR Grant N00014-88-K-0593." @default.
- W88544524 created "2016-06-24" @default.
- W88544524 creator A5016407219 @default.
- W88544524 date "1993-01-01" @default.
- W88544524 modified "2023-09-27" @default.
- W88544524 title "Reducibility Strikes Again, I!" @default.
- W88544524 cites W126630044 @default.
- W88544524 cites W1518331780 @default.
- W88544524 cites W1981303668 @default.
- W88544524 cites W2031805453 @default.
- W88544524 cites W2085670481 @default.
- W88544524 cites W2119240423 @default.
- W88544524 cites W2149837936 @default.
- W88544524 cites W2769900404 @default.
- W88544524 hasPublicationYear "1993" @default.
- W88544524 type Work @default.
- W88544524 sameAs 88544524 @default.
- W88544524 citedByCount "0" @default.
- W88544524 crossrefType "journal-article" @default.
- W88544524 hasAuthorship W88544524A5016407219 @default.
- W88544524 hasConcept C108710211 @default.
- W88544524 hasConcept C111472728 @default.
- W88544524 hasConcept C114793014 @default.
- W88544524 hasConcept C118615104 @default.
- W88544524 hasConcept C120665830 @default.
- W88544524 hasConcept C121332964 @default.
- W88544524 hasConcept C127313418 @default.
- W88544524 hasConcept C138885662 @default.
- W88544524 hasConcept C16221470 @default.
- W88544524 hasConcept C199343813 @default.
- W88544524 hasConcept C202444582 @default.
- W88544524 hasConcept C2524010 @default.
- W88544524 hasConcept C2777686260 @default.
- W88544524 hasConcept C2780312720 @default.
- W88544524 hasConcept C2780586882 @default.
- W88544524 hasConcept C2780841128 @default.
- W88544524 hasConcept C33923547 @default.
- W88544524 hasConcept C41008148 @default.
- W88544524 hasConcept C71924100 @default.
- W88544524 hasConceptScore W88544524C108710211 @default.
- W88544524 hasConceptScore W88544524C111472728 @default.
- W88544524 hasConceptScore W88544524C114793014 @default.
- W88544524 hasConceptScore W88544524C118615104 @default.
- W88544524 hasConceptScore W88544524C120665830 @default.
- W88544524 hasConceptScore W88544524C121332964 @default.
- W88544524 hasConceptScore W88544524C127313418 @default.
- W88544524 hasConceptScore W88544524C138885662 @default.
- W88544524 hasConceptScore W88544524C16221470 @default.
- W88544524 hasConceptScore W88544524C199343813 @default.
- W88544524 hasConceptScore W88544524C202444582 @default.
- W88544524 hasConceptScore W88544524C2524010 @default.
- W88544524 hasConceptScore W88544524C2777686260 @default.
- W88544524 hasConceptScore W88544524C2780312720 @default.
- W88544524 hasConceptScore W88544524C2780586882 @default.
- W88544524 hasConceptScore W88544524C2780841128 @default.
- W88544524 hasConceptScore W88544524C33923547 @default.
- W88544524 hasConceptScore W88544524C41008148 @default.
- W88544524 hasConceptScore W88544524C71924100 @default.
- W88544524 hasLocation W885445241 @default.
- W88544524 hasOpenAccess W88544524 @default.
- W88544524 hasPrimaryLocation W885445241 @default.
- W88544524 hasRelatedWork W1480979627 @default.
- W88544524 hasRelatedWork W1525058018 @default.
- W88544524 hasRelatedWork W1532954000 @default.
- W88544524 hasRelatedWork W1540171139 @default.
- W88544524 hasRelatedWork W1657282048 @default.
- W88544524 hasRelatedWork W1742000339 @default.
- W88544524 hasRelatedWork W1973737783 @default.
- W88544524 hasRelatedWork W1977372949 @default.
- W88544524 hasRelatedWork W2016314496 @default.
- W88544524 hasRelatedWork W2022827857 @default.
- W88544524 hasRelatedWork W2050888701 @default.
- W88544524 hasRelatedWork W2069624526 @default.
- W88544524 hasRelatedWork W2078316939 @default.
- W88544524 hasRelatedWork W2152286463 @default.
- W88544524 hasRelatedWork W2317058266 @default.
- W88544524 hasRelatedWork W2465020246 @default.
- W88544524 hasRelatedWork W2911323760 @default.
- W88544524 hasRelatedWork W2949540687 @default.
- W88544524 hasRelatedWork W2963693343 @default.
- W88544524 hasRelatedWork W3167275847 @default.
- W88544524 isParatext "false" @default.
- W88544524 isRetracted "false" @default.
- W88544524 magId "88544524" @default.
- W88544524 workType "article" @default.