Matches in SemOpenAlex for { <https://semopenalex.org/work/W4309968429> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4309968429 abstract "We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any datatype. More formally, given an algorithm above a family of computable functions (taken as primitive tools, i.e., kind of oracle functions for the algorithm), for every constant K big enough, each computation step of the algorithm can be simulated by exactly K successive reductions in a natural extension of lambda calculus with constants for functions in the above considered family. The proof is based on a fixed point technique in lambda calculus and on Gurevich sequential Thesis which allows to identify sequential deterministic algorithms with Abstract State Machines. This extends to algorithms for partial computable functions in such a way that finite computations ending with exceptions are associated to finite reductions leading to terms with a particular very simple feature." @default.
- W4309968429 created "2022-11-30" @default.
- W4309968429 creator A5041332050 @default.
- W4309968429 creator A5075595178 @default.
- W4309968429 date "2010-10-13" @default.
- W4309968429 modified "2023-10-18" @default.
- W4309968429 title "ASMs and Operational Algorithmic Completeness of Lambda Calculus" @default.
- W4309968429 doi "https://doi.org/10.48550/arxiv.1010.2597" @default.
- W4309968429 hasPublicationYear "2010" @default.
- W4309968429 type Work @default.
- W4309968429 citedByCount "0" @default.
- W4309968429 crossrefType "posted-content" @default.
- W4309968429 hasAuthorship W4309968429A5041332050 @default.
- W4309968429 hasAuthorship W4309968429A5075595178 @default.
- W4309968429 hasBestOaLocation W43099684291 @default.
- W4309968429 hasConcept C111472728 @default.
- W4309968429 hasConcept C11413529 @default.
- W4309968429 hasConcept C118615104 @default.
- W4309968429 hasConcept C134306372 @default.
- W4309968429 hasConcept C135790938 @default.
- W4309968429 hasConcept C138885662 @default.
- W4309968429 hasConcept C17231256 @default.
- W4309968429 hasConcept C199343813 @default.
- W4309968429 hasConcept C199360897 @default.
- W4309968429 hasConcept C2777027219 @default.
- W4309968429 hasConcept C2777686260 @default.
- W4309968429 hasConcept C2780586882 @default.
- W4309968429 hasConcept C33923547 @default.
- W4309968429 hasConcept C41008148 @default.
- W4309968429 hasConcept C45374587 @default.
- W4309968429 hasConcept C54271186 @default.
- W4309968429 hasConcept C55166926 @default.
- W4309968429 hasConcept C71924100 @default.
- W4309968429 hasConceptScore W4309968429C111472728 @default.
- W4309968429 hasConceptScore W4309968429C11413529 @default.
- W4309968429 hasConceptScore W4309968429C118615104 @default.
- W4309968429 hasConceptScore W4309968429C134306372 @default.
- W4309968429 hasConceptScore W4309968429C135790938 @default.
- W4309968429 hasConceptScore W4309968429C138885662 @default.
- W4309968429 hasConceptScore W4309968429C17231256 @default.
- W4309968429 hasConceptScore W4309968429C199343813 @default.
- W4309968429 hasConceptScore W4309968429C199360897 @default.
- W4309968429 hasConceptScore W4309968429C2777027219 @default.
- W4309968429 hasConceptScore W4309968429C2777686260 @default.
- W4309968429 hasConceptScore W4309968429C2780586882 @default.
- W4309968429 hasConceptScore W4309968429C33923547 @default.
- W4309968429 hasConceptScore W4309968429C41008148 @default.
- W4309968429 hasConceptScore W4309968429C45374587 @default.
- W4309968429 hasConceptScore W4309968429C54271186 @default.
- W4309968429 hasConceptScore W4309968429C55166926 @default.
- W4309968429 hasConceptScore W4309968429C71924100 @default.
- W4309968429 hasLocation W43099684291 @default.
- W4309968429 hasLocation W43099684292 @default.
- W4309968429 hasLocation W43099684293 @default.
- W4309968429 hasLocation W43099684294 @default.
- W4309968429 hasOpenAccess W4309968429 @default.
- W4309968429 hasPrimaryLocation W43099684291 @default.
- W4309968429 hasRelatedWork W1488442570 @default.
- W4309968429 hasRelatedWork W1662397983 @default.
- W4309968429 hasRelatedWork W1970705056 @default.
- W4309968429 hasRelatedWork W2391431582 @default.
- W4309968429 hasRelatedWork W2399272054 @default.
- W4309968429 hasRelatedWork W2474469336 @default.
- W4309968429 hasRelatedWork W2964310650 @default.
- W4309968429 hasRelatedWork W346875545 @default.
- W4309968429 hasRelatedWork W4245749626 @default.
- W4309968429 hasRelatedWork W4289539474 @default.
- W4309968429 isParatext "false" @default.
- W4309968429 isRetracted "false" @default.
- W4309968429 workType "article" @default.