FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091036953> ?p ?o ?g. }

• W2091036953 endingPage "267" @default.
• W2091036953 startingPage "251" @default.
• W2091036953 abstract "We investigate the system obtained by adding an algebraic rewriting system R to an untyped lambda calculus in which terms are formed using the function symbols from R as constants. On certain classes of terms, called here “stable,” we prove that the resulting calculus is confluent if R is confluent, and is terminating if R is terminating. The termination result has the corresponding theorems for several typed calculi as corollaries. The proof of the confluence result suggests a general method for proving confluence of typed β-reduction plus rewriting; we sketch the application to the polymorphic lambda calculus." @default.
• W2091036953 created "2016-06-24" @default.
• W2091036953 creator A5046515488 @default.
• W2091036953 date "1992-12-01" @default.
• W2091036953 modified "2023-09-29" @default.
• W2091036953 title "Adding algebraic rewriting to the untyped lambda calculus" @default.
• W2091036953 cites W1486980090 @default.
• W2091036953 cites W1513590676 @default.
• W2091036953 cites W1595372275 @default.
• W2091036953 cites W1598625331 @default.
• W2091036953 cites W1600655341 @default.
• W2091036953 cites W1979101142 @default.
• W2091036953 cites W1986402635 @default.
• W2091036953 cites W1997816727 @default.
• W2091036953 cites W2003298503 @default.
• W2091036953 cites W2009987765 @default.
• W2091036953 cites W2017284475 @default.
• W2091036953 cites W2064236106 @default.
• W2091036953 cites W2089012316 @default.
• W2091036953 cites W2121757274 @default.
• W2091036953 cites W2154273644 @default.
• W2091036953 cites W2165371624 @default.
• W2091036953 cites W2211325406 @default.
• W2091036953 doi "https://doi.org/10.1016/0890-5401(92)90064-m" @default.
• W2091036953 hasPublicationYear "1992" @default.
• W2091036953 type Work @default.
• W2091036953 sameAs 2091036953 @default.
• W2091036953 citedByCount "33" @default.
• W2091036953 countsByYear W20910369532012 @default.
• W2091036953 countsByYear W20910369532013 @default.
• W2091036953 countsByYear W20910369532016 @default.
• W2091036953 countsByYear W20910369532017 @default.
• W2091036953 crossrefType "journal-article" @default.
• W2091036953 hasAuthorship W2091036953A5046515488 @default.
• W2091036953 hasBestOaLocation W20910369531 @default.
• W2091036953 hasConcept C11413529 @default.
• W2091036953 hasConcept C118615104 @default.
• W2091036953 hasConcept C120665830 @default.
• W2091036953 hasConcept C121332964 @default.
• W2091036953 hasConcept C134306372 @default.
• W2091036953 hasConcept C135790938 @default.
• W2091036953 hasConcept C136119220 @default.
• W2091036953 hasConcept C142156749 @default.
• W2091036953 hasConcept C154690210 @default.
• W2091036953 hasConcept C159333733 @default.
• W2091036953 hasConcept C199343813 @default.
• W2091036953 hasConcept C199360897 @default.
• W2091036953 hasConcept C202444582 @default.
• W2091036953 hasConcept C2777686260 @default.
• W2091036953 hasConcept C2778113609 @default.
• W2091036953 hasConcept C2779231336 @default.
• W2091036953 hasConcept C33923547 @default.
• W2091036953 hasConcept C41008148 @default.
• W2091036953 hasConcept C55128367 @default.
• W2091036953 hasConcept C61237538 @default.
• W2091036953 hasConcept C71924100 @default.
• W2091036953 hasConcept C77736955 @default.
• W2091036953 hasConcept C77906462 @default.
• W2091036953 hasConcept C85343465 @default.
• W2091036953 hasConcept C9376300 @default.
• W2091036953 hasConceptScore W2091036953C11413529 @default.
• W2091036953 hasConceptScore W2091036953C118615104 @default.
• W2091036953 hasConceptScore W2091036953C120665830 @default.
• W2091036953 hasConceptScore W2091036953C121332964 @default.
• W2091036953 hasConceptScore W2091036953C134306372 @default.
• W2091036953 hasConceptScore W2091036953C135790938 @default.
• W2091036953 hasConceptScore W2091036953C136119220 @default.
• W2091036953 hasConceptScore W2091036953C142156749 @default.
• W2091036953 hasConceptScore W2091036953C154690210 @default.
• W2091036953 hasConceptScore W2091036953C159333733 @default.
• W2091036953 hasConceptScore W2091036953C199343813 @default.
• W2091036953 hasConceptScore W2091036953C199360897 @default.
• W2091036953 hasConceptScore W2091036953C202444582 @default.
• W2091036953 hasConceptScore W2091036953C2777686260 @default.
• W2091036953 hasConceptScore W2091036953C2778113609 @default.
• W2091036953 hasConceptScore W2091036953C2779231336 @default.
• W2091036953 hasConceptScore W2091036953C33923547 @default.
• W2091036953 hasConceptScore W2091036953C41008148 @default.
• W2091036953 hasConceptScore W2091036953C55128367 @default.
• W2091036953 hasConceptScore W2091036953C61237538 @default.
• W2091036953 hasConceptScore W2091036953C71924100 @default.
• W2091036953 hasConceptScore W2091036953C77736955 @default.
• W2091036953 hasConceptScore W2091036953C77906462 @default.
• W2091036953 hasConceptScore W2091036953C85343465 @default.
• W2091036953 hasConceptScore W2091036953C9376300 @default.
• W2091036953 hasIssue "2" @default.
• W2091036953 hasLocation W20910369531 @default.
• W2091036953 hasOpenAccess W2091036953 @default.
• W2091036953 hasPrimaryLocation W20910369531 @default.
• W2091036953 hasRelatedWork W1482545727 @default.
• W2091036953 hasRelatedWork W1585482631 @default.
• W2091036953 hasRelatedWork W1908505045 @default.
• W2091036953 hasRelatedWork W2091036953 @default.
• W2091036953 hasRelatedWork W2165371624 @default.
• W2091036953 hasRelatedWork W3003639979 @default.
• W2091036953 hasRelatedWork W3146610348 @default.
• W2091036953 hasRelatedWork W60269903 @default.
• W2091036953 hasRelatedWork W8161125 @default.

• next