Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503302308> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1503302308 endingPage "339" @default.
- W1503302308 startingPage "325" @default.
- W1503302308 abstract "Contrary to all expectations, the λσ-calculus, the canonical simply-typed lambda-calculus with explicit substitutions, is not strongly normalising. This result has led to a proliferation of calculi with explicit substitutions. This paper shows that the reducibility method provides a general criterion when a calculus of explicit substitution is strongly normalising for all untyped lambda-terms that are strongly normalising. This result is general enough to imply preservation of strong normalisation of the calculi considered in the literature. We also propose a version of the λσ-calculus with explicit substitutions which is strongly normalising for strongly normalising λ-terms." @default.
- W1503302308 created "2016-06-24" @default.
- W1503302308 creator A5086646386 @default.
- W1503302308 date "1999-01-01" @default.
- W1503302308 modified "2023-10-16" @default.
- W1503302308 title "Characterising Explicit Substitutions which Preserve Termination" @default.
- W1503302308 cites W1488897269 @default.
- W1503302308 cites W1490159878 @default.
- W1503302308 cites W1572096931 @default.
- W1503302308 cites W1992452788 @default.
- W1503302308 cites W2017143801 @default.
- W1503302308 cites W2095553492 @default.
- W1503302308 cites W2151872924 @default.
- W1503302308 cites W4236324644 @default.
- W1503302308 doi "https://doi.org/10.1007/3-540-48959-2_23" @default.
- W1503302308 hasPublicationYear "1999" @default.
- W1503302308 type Work @default.
- W1503302308 sameAs 1503302308 @default.
- W1503302308 citedByCount "10" @default.
- W1503302308 countsByYear W15033023082020 @default.
- W1503302308 countsByYear W15033023082022 @default.
- W1503302308 crossrefType "book-chapter" @default.
- W1503302308 hasAuthorship W1503302308A5086646386 @default.
- W1503302308 hasConcept C118615104 @default.
- W1503302308 hasConcept C120665830 @default.
- W1503302308 hasConcept C121332964 @default.
- W1503302308 hasConcept C135790938 @default.
- W1503302308 hasConcept C136119220 @default.
- W1503302308 hasConcept C142156749 @default.
- W1503302308 hasConcept C199343813 @default.
- W1503302308 hasConcept C199360897 @default.
- W1503302308 hasConcept C202444582 @default.
- W1503302308 hasConcept C2777686260 @default.
- W1503302308 hasConcept C2778113609 @default.
- W1503302308 hasConcept C2778220771 @default.
- W1503302308 hasConcept C33923547 @default.
- W1503302308 hasConcept C41008148 @default.
- W1503302308 hasConcept C71924100 @default.
- W1503302308 hasConceptScore W1503302308C118615104 @default.
- W1503302308 hasConceptScore W1503302308C120665830 @default.
- W1503302308 hasConceptScore W1503302308C121332964 @default.
- W1503302308 hasConceptScore W1503302308C135790938 @default.
- W1503302308 hasConceptScore W1503302308C136119220 @default.
- W1503302308 hasConceptScore W1503302308C142156749 @default.
- W1503302308 hasConceptScore W1503302308C199343813 @default.
- W1503302308 hasConceptScore W1503302308C199360897 @default.
- W1503302308 hasConceptScore W1503302308C202444582 @default.
- W1503302308 hasConceptScore W1503302308C2777686260 @default.
- W1503302308 hasConceptScore W1503302308C2778113609 @default.
- W1503302308 hasConceptScore W1503302308C2778220771 @default.
- W1503302308 hasConceptScore W1503302308C33923547 @default.
- W1503302308 hasConceptScore W1503302308C41008148 @default.
- W1503302308 hasConceptScore W1503302308C71924100 @default.
- W1503302308 hasLocation W15033023081 @default.
- W1503302308 hasOpenAccess W1503302308 @default.
- W1503302308 hasPrimaryLocation W15033023081 @default.
- W1503302308 hasRelatedWork W1633106243 @default.
- W1503302308 hasRelatedWork W2101274322 @default.
- W1503302308 hasRelatedWork W2373977992 @default.
- W1503302308 hasRelatedWork W2615070270 @default.
- W1503302308 hasRelatedWork W3027333920 @default.
- W1503302308 hasRelatedWork W4230977852 @default.
- W1503302308 hasRelatedWork W4289123168 @default.
- W1503302308 hasRelatedWork W62459810 @default.
- W1503302308 hasRelatedWork W811489916 @default.
- W1503302308 hasRelatedWork W2785405191 @default.
- W1503302308 isParatext "false" @default.
- W1503302308 isRetracted "false" @default.
- W1503302308 magId "1503302308" @default.
- W1503302308 workType "book-chapter" @default.