FRINK Linked Data Fragments server

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

• W2073527997 endingPage "125" @default.
• W2073527997 startingPage "91" @default.
• W2073527997 abstract "Explicit substitutions (ES) were introduced as a bridge between the theory of rewrite systems with binders and substitution, such as the λ-calculus, and their implementation. In a seminal paper Melliès observed that the dynamical properties of a rewrite system and its ES-based implementation may not coincide: he showed that a strongly normalising term (i.e. one which does not admit infinite derivations) in the λ-calculus may lose this status in its ES-based implementation. This paper studies normalisation for the latter systems in the general setting of higher-order rewriting: Based on recent work extending the theory of needed strategies to non-orthogonal rewrite systems we show that needed strategies normalise in the ES-based implementation of any orthogonal pattern higher-order rewrite system." @default.
• W2073527997 created "2016-06-24" @default.
• W2073527997 creator A5032131989 @default.
• W2073527997 date "2005-03-01" @default.
• W2073527997 modified "2023-10-18" @default.
• W2073527997 title "Normalisation for higher-order calculi with explicit substitutions" @default.
• W2073527997 cites W1480487311 @default.
• W2073527997 cites W1483430268 @default.
• W2073527997 cites W1488897269 @default.
• W2073527997 cites W1542795482 @default.
• W2073527997 cites W1580910765 @default.
• W2073527997 cites W1583295953 @default.
• W2073527997 cites W1584354885 @default.
• W2073527997 cites W1586929024 @default.
• W2073527997 cites W1595776854 @default.
• W2073527997 cites W1901068688 @default.
• W2073527997 cites W1985126655 @default.
• W2073527997 cites W1990549399 @default.
• W2073527997 cites W2064236106 @default.
• W2073527997 cites W20773390 @default.
• W2073527997 cites W2080165344 @default.
• W2073527997 cites W2099089064 @default.
• W2073527997 cites W2104073699 @default.
• W2073527997 cites W2109703800 @default.
• W2073527997 cites W2118420900 @default.
• W2073527997 cites W2126018011 @default.
• W2073527997 cites W2132750992 @default.
• W2073527997 cites W2135458383 @default.
• W2073527997 cites W2151872924 @default.
• W2073527997 cites W2154273644 @default.
• W2073527997 cites W2170550263 @default.
• W2073527997 cites W2912818154 @default.
• W2073527997 cites W38007494 @default.
• W2073527997 cites W2583352628 @default.
• W2073527997 cites W2585729358 @default.
• W2073527997 doi "https://doi.org/10.1016/j.tcs.2004.10.019" @default.
• W2073527997 hasPublicationYear "2005" @default.
• W2073527997 type Work @default.
• W2073527997 sameAs 2073527997 @default.
• W2073527997 citedByCount "0" @default.
• W2073527997 crossrefType "journal-article" @default.
• W2073527997 hasAuthorship W2073527997A5032131989 @default.
• W2073527997 hasBestOaLocation W20735279971 @default.
• W2073527997 hasConcept C100776233 @default.
• W2073527997 hasConcept C10138342 @default.
• W2073527997 hasConcept C121332964 @default.
• W2073527997 hasConcept C126322002 @default.
• W2073527997 hasConcept C134306372 @default.
• W2073527997 hasConcept C136119220 @default.
• W2073527997 hasConcept C154690210 @default.
• W2073527997 hasConcept C161771561 @default.
• W2073527997 hasConcept C162324750 @default.
• W2073527997 hasConcept C182306322 @default.
• W2073527997 hasConcept C199343813 @default.
• W2073527997 hasConcept C199360897 @default.
• W2073527997 hasConcept C202444582 @default.
• W2073527997 hasConcept C2777686260 @default.
• W2073527997 hasConcept C2778220771 @default.
• W2073527997 hasConcept C33923547 @default.
• W2073527997 hasConcept C41008148 @default.
• W2073527997 hasConcept C61797465 @default.
• W2073527997 hasConcept C62520636 @default.
• W2073527997 hasConcept C71924100 @default.
• W2073527997 hasConcept C77618280 @default.
• W2073527997 hasConcept C77906462 @default.
• W2073527997 hasConcept C80444323 @default.
• W2073527997 hasConceptScore W2073527997C100776233 @default.
• W2073527997 hasConceptScore W2073527997C10138342 @default.
• W2073527997 hasConceptScore W2073527997C121332964 @default.
• W2073527997 hasConceptScore W2073527997C126322002 @default.
• W2073527997 hasConceptScore W2073527997C134306372 @default.
• W2073527997 hasConceptScore W2073527997C136119220 @default.
• W2073527997 hasConceptScore W2073527997C154690210 @default.
• W2073527997 hasConceptScore W2073527997C161771561 @default.
• W2073527997 hasConceptScore W2073527997C162324750 @default.
• W2073527997 hasConceptScore W2073527997C182306322 @default.
• W2073527997 hasConceptScore W2073527997C199343813 @default.
• W2073527997 hasConceptScore W2073527997C199360897 @default.
• W2073527997 hasConceptScore W2073527997C202444582 @default.
• W2073527997 hasConceptScore W2073527997C2777686260 @default.
• W2073527997 hasConceptScore W2073527997C2778220771 @default.
• W2073527997 hasConceptScore W2073527997C33923547 @default.
• W2073527997 hasConceptScore W2073527997C41008148 @default.
• W2073527997 hasConceptScore W2073527997C61797465 @default.
• W2073527997 hasConceptScore W2073527997C62520636 @default.
• W2073527997 hasConceptScore W2073527997C71924100 @default.
• W2073527997 hasConceptScore W2073527997C77618280 @default.
• W2073527997 hasConceptScore W2073527997C77906462 @default.
• W2073527997 hasConceptScore W2073527997C80444323 @default.
• W2073527997 hasIssue "1-2" @default.
• W2073527997 hasLocation W20735279971 @default.
• W2073527997 hasLocation W20735279972 @default.
• W2073527997 hasOpenAccess W2073527997 @default.
• W2073527997 hasPrimaryLocation W20735279971 @default.
• W2073527997 hasRelatedWork W1515515243 @default.
• W2073527997 hasRelatedWork W1601124623 @default.
• W2073527997 hasRelatedWork W163008830 @default.
• W2073527997 hasRelatedWork W2027230920 @default.

• next