Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287104292> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4287104292 abstract "Turing machines and register machines have been used for decades in theoretical computer science as abstract models of computation. Also the $lambda$-calculus has played a central role in this domain as it allows to focus on the notion of functional computation, based on the substitution mechanism, while abstracting away from implementation details. The present article starts from the observation that the equivalence between these formalisms is based on the Church-Turing Thesis rather than an actual encoding of $lambda$-terms into Turing (or register) machines. The reason is that these machines are not well-suited for modelling $lambda$-calculus programs. We study a class of abstract machines that we call addressing machine since they are only able to manipulate memory addresses of other machines. The operations performed by these machines are very elementary: load an address in a register, apply a machine to another one via their addresses, and call the address of another machine. We endow addressing machines with an operational semantics based on leftmost reduction and study their behaviour. The set of addresses of these machines can be easily turned into a combinatory algebra. In order to obtain a model of the full untyped $lambda$-calculus, we need to introduce a rule that bares similarities with the $omega$-rule and the rule $zeta_beta$ from combinatory logic." @default.
- W4287104292 created "2022-07-25" @default.
- W4287104292 creator A5000230182 @default.
- W4287104292 creator A5038380237 @default.
- W4287104292 creator A5058216930 @default.
- W4287104292 date "2021-07-01" @default.
- W4287104292 modified "2023-09-27" @default.
- W4287104292 title "Addressing Machines as models of lambda-calculus" @default.
- W4287104292 doi "https://doi.org/10.48550/arxiv.2107.00319" @default.
- W4287104292 hasPublicationYear "2021" @default.
- W4287104292 type Work @default.
- W4287104292 citedByCount "0" @default.
- W4287104292 crossrefType "posted-content" @default.
- W4287104292 hasAuthorship W4287104292A5000230182 @default.
- W4287104292 hasAuthorship W4287104292A5038380237 @default.
- W4287104292 hasAuthorship W4287104292A5058216930 @default.
- W4287104292 hasBestOaLocation W42871042921 @default.
- W4287104292 hasConcept C118615104 @default.
- W4287104292 hasConcept C135790938 @default.
- W4287104292 hasConcept C136119220 @default.
- W4287104292 hasConcept C142156749 @default.
- W4287104292 hasConcept C156325763 @default.
- W4287104292 hasConcept C171018156 @default.
- W4287104292 hasConcept C184337299 @default.
- W4287104292 hasConcept C199343813 @default.
- W4287104292 hasConcept C199360897 @default.
- W4287104292 hasConcept C202444582 @default.
- W4287104292 hasConcept C2524010 @default.
- W4287104292 hasConcept C2777686260 @default.
- W4287104292 hasConcept C2780069185 @default.
- W4287104292 hasConcept C29248071 @default.
- W4287104292 hasConcept C33923547 @default.
- W4287104292 hasConcept C41008148 @default.
- W4287104292 hasConcept C45374587 @default.
- W4287104292 hasConcept C61237538 @default.
- W4287104292 hasConcept C71924100 @default.
- W4287104292 hasConcept C80444323 @default.
- W4287104292 hasConcept C88977235 @default.
- W4287104292 hasConceptScore W4287104292C118615104 @default.
- W4287104292 hasConceptScore W4287104292C135790938 @default.
- W4287104292 hasConceptScore W4287104292C136119220 @default.
- W4287104292 hasConceptScore W4287104292C142156749 @default.
- W4287104292 hasConceptScore W4287104292C156325763 @default.
- W4287104292 hasConceptScore W4287104292C171018156 @default.
- W4287104292 hasConceptScore W4287104292C184337299 @default.
- W4287104292 hasConceptScore W4287104292C199343813 @default.
- W4287104292 hasConceptScore W4287104292C199360897 @default.
- W4287104292 hasConceptScore W4287104292C202444582 @default.
- W4287104292 hasConceptScore W4287104292C2524010 @default.
- W4287104292 hasConceptScore W4287104292C2777686260 @default.
- W4287104292 hasConceptScore W4287104292C2780069185 @default.
- W4287104292 hasConceptScore W4287104292C29248071 @default.
- W4287104292 hasConceptScore W4287104292C33923547 @default.
- W4287104292 hasConceptScore W4287104292C41008148 @default.
- W4287104292 hasConceptScore W4287104292C45374587 @default.
- W4287104292 hasConceptScore W4287104292C61237538 @default.
- W4287104292 hasConceptScore W4287104292C71924100 @default.
- W4287104292 hasConceptScore W4287104292C80444323 @default.
- W4287104292 hasConceptScore W4287104292C88977235 @default.
- W4287104292 hasLocation W42871042921 @default.
- W4287104292 hasOpenAccess W4287104292 @default.
- W4287104292 hasPrimaryLocation W42871042921 @default.
- W4287104292 hasRelatedWork W10995172 @default.
- W4287104292 hasRelatedWork W14710392 @default.
- W4287104292 hasRelatedWork W1711358 @default.
- W4287104292 hasRelatedWork W267417 @default.
- W4287104292 hasRelatedWork W2736425 @default.
- W4287104292 hasRelatedWork W3946209 @default.
- W4287104292 hasRelatedWork W5205941 @default.
- W4287104292 hasRelatedWork W7181201 @default.
- W4287104292 hasRelatedWork W7377384 @default.
- W4287104292 hasRelatedWork W9097696 @default.
- W4287104292 isParatext "false" @default.
- W4287104292 isRetracted "false" @default.
- W4287104292 workType "article" @default.