Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118420900> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2118420900 endingPage "62" @default.
- W2118420900 startingPage "45" @default.
- W2118420900 abstract "The aim of this paper is to present the λs-calculus which is a very simple λ-calculus with explicit substitutions and to prove its confluence on closed terms and the preservation of strong normalisation of λ-terms. We shall prove strong normalisation of the corresponding calculus of substitution by translating it into the λσ-calculus [ACCL91], and therefore the relation between both calculi will be made explicit. The confluence of the λs-calculus is obtained by the “interpretation method” ([Har89], [CHL92]). The proof of the preservation of normalisation follows the lines of an analogous result for the λv-calculus (cf. [BBLRD95]). The relation between λs and λv is also studied." @default.
- W2118420900 created "2016-06-24" @default.
- W2118420900 creator A5031944209 @default.
- W2118420900 creator A5064308541 @default.
- W2118420900 date "1995-01-01" @default.
- W2118420900 modified "2023-10-16" @default.
- W2118420900 title "A λ-calculus à la de Bruijn with explicit substitutions" @default.
- W2118420900 cites W1488897269 @default.
- W2118420900 cites W1514119099 @default.
- W2118420900 cites W1970547272 @default.
- W2118420900 cites W1979101142 @default.
- W2118420900 cites W2041799549 @default.
- W2118420900 cites W2083014191 @default.
- W2118420900 cites W2095553492 @default.
- W2118420900 cites W2151872924 @default.
- W2118420900 cites W2507006525 @default.
- W2118420900 cites W2568721247 @default.
- W2118420900 cites W4234562927 @default.
- W2118420900 cites W4236324644 @default.
- W2118420900 doi "https://doi.org/10.1007/bfb0026813" @default.
- W2118420900 hasPublicationYear "1995" @default.
- W2118420900 type Work @default.
- W2118420900 sameAs 2118420900 @default.
- W2118420900 citedByCount "57" @default.
- W2118420900 countsByYear W21184209002014 @default.
- W2118420900 countsByYear W21184209002020 @default.
- W2118420900 countsByYear W21184209002022 @default.
- W2118420900 crossrefType "book-chapter" @default.
- W2118420900 hasAuthorship W2118420900A5031944209 @default.
- W2118420900 hasAuthorship W2118420900A5064308541 @default.
- W2118420900 hasConcept C111472728 @default.
- W2118420900 hasConcept C118615104 @default.
- W2118420900 hasConcept C138885662 @default.
- W2118420900 hasConcept C170320093 @default.
- W2118420900 hasConcept C199343813 @default.
- W2118420900 hasConcept C199360897 @default.
- W2118420900 hasConcept C25343380 @default.
- W2118420900 hasConcept C2777686260 @default.
- W2118420900 hasConcept C2780586882 @default.
- W2118420900 hasConcept C33923547 @default.
- W2118420900 hasConcept C41008148 @default.
- W2118420900 hasConcept C527412718 @default.
- W2118420900 hasConcept C71924100 @default.
- W2118420900 hasConcept C77088390 @default.
- W2118420900 hasConcept C77906462 @default.
- W2118420900 hasConceptScore W2118420900C111472728 @default.
- W2118420900 hasConceptScore W2118420900C118615104 @default.
- W2118420900 hasConceptScore W2118420900C138885662 @default.
- W2118420900 hasConceptScore W2118420900C170320093 @default.
- W2118420900 hasConceptScore W2118420900C199343813 @default.
- W2118420900 hasConceptScore W2118420900C199360897 @default.
- W2118420900 hasConceptScore W2118420900C25343380 @default.
- W2118420900 hasConceptScore W2118420900C2777686260 @default.
- W2118420900 hasConceptScore W2118420900C2780586882 @default.
- W2118420900 hasConceptScore W2118420900C33923547 @default.
- W2118420900 hasConceptScore W2118420900C41008148 @default.
- W2118420900 hasConceptScore W2118420900C527412718 @default.
- W2118420900 hasConceptScore W2118420900C71924100 @default.
- W2118420900 hasConceptScore W2118420900C77088390 @default.
- W2118420900 hasConceptScore W2118420900C77906462 @default.
- W2118420900 hasLocation W21184209001 @default.
- W2118420900 hasOpenAccess W2118420900 @default.
- W2118420900 hasPrimaryLocation W21184209001 @default.
- W2118420900 hasRelatedWork W1563019084 @default.
- W2118420900 hasRelatedWork W1887191277 @default.
- W2118420900 hasRelatedWork W1985126655 @default.
- W2118420900 hasRelatedWork W2017143801 @default.
- W2118420900 hasRelatedWork W2118420900 @default.
- W2118420900 hasRelatedWork W2334954212 @default.
- W2118420900 hasRelatedWork W2776018879 @default.
- W2118420900 hasRelatedWork W2794684478 @default.
- W2118420900 hasRelatedWork W2964285269 @default.
- W2118420900 hasRelatedWork W2585729358 @default.
- W2118420900 isParatext "false" @default.
- W2118420900 isRetracted "false" @default.
- W2118420900 magId "2118420900" @default.
- W2118420900 workType "book-chapter" @default.