Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295364310> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4295364310 abstract "This paper introduces a special type of systems, defines their properties, and then demonstrates that a reduction machine for pure untyped extensional lambda calculus can be implemented as a system of the introduced type. Specifically, we discuss uniform memory as a special kind of graphs and real time operation of state machines that use the uniform memory as their state. Also, we consider a special case of serialization, the latter being useful for the mechanism that compares results during computation, not after the computation is done. However, we start with detailed explanation of our motivation for this work." @default.
- W4295364310 created "2022-09-13" @default.
- W4295364310 creator A5055338033 @default.
- W4295364310 date "2010-11-16" @default.
- W4295364310 modified "2023-09-24" @default.
- W4295364310 title "Uniform Memory and Serialization for Lambda Calculus" @default.
- W4295364310 doi "https://doi.org/10.48550/arxiv.1011.4330" @default.
- W4295364310 hasPublicationYear "2010" @default.
- W4295364310 type Work @default.
- W4295364310 citedByCount "0" @default.
- W4295364310 crossrefType "posted-content" @default.
- W4295364310 hasAuthorship W4295364310A5055338033 @default.
- W4295364310 hasBestOaLocation W42953643101 @default.
- W4295364310 hasConcept C120665830 @default.
- W4295364310 hasConcept C121332964 @default.
- W4295364310 hasConcept C135790938 @default.
- W4295364310 hasConcept C136119220 @default.
- W4295364310 hasConcept C136137745 @default.
- W4295364310 hasConcept C142156749 @default.
- W4295364310 hasConcept C151730666 @default.
- W4295364310 hasConcept C199343813 @default.
- W4295364310 hasConcept C199360897 @default.
- W4295364310 hasConcept C202444582 @default.
- W4295364310 hasConcept C2777686260 @default.
- W4295364310 hasConcept C2778113609 @default.
- W4295364310 hasConcept C33923547 @default.
- W4295364310 hasConcept C41008148 @default.
- W4295364310 hasConcept C45374587 @default.
- W4295364310 hasConcept C48103436 @default.
- W4295364310 hasConcept C52723943 @default.
- W4295364310 hasConcept C61237538 @default.
- W4295364310 hasConcept C71924100 @default.
- W4295364310 hasConcept C77736955 @default.
- W4295364310 hasConcept C77928131 @default.
- W4295364310 hasConcept C80444323 @default.
- W4295364310 hasConcept C86803240 @default.
- W4295364310 hasConceptScore W4295364310C120665830 @default.
- W4295364310 hasConceptScore W4295364310C121332964 @default.
- W4295364310 hasConceptScore W4295364310C135790938 @default.
- W4295364310 hasConceptScore W4295364310C136119220 @default.
- W4295364310 hasConceptScore W4295364310C136137745 @default.
- W4295364310 hasConceptScore W4295364310C142156749 @default.
- W4295364310 hasConceptScore W4295364310C151730666 @default.
- W4295364310 hasConceptScore W4295364310C199343813 @default.
- W4295364310 hasConceptScore W4295364310C199360897 @default.
- W4295364310 hasConceptScore W4295364310C202444582 @default.
- W4295364310 hasConceptScore W4295364310C2777686260 @default.
- W4295364310 hasConceptScore W4295364310C2778113609 @default.
- W4295364310 hasConceptScore W4295364310C33923547 @default.
- W4295364310 hasConceptScore W4295364310C41008148 @default.
- W4295364310 hasConceptScore W4295364310C45374587 @default.
- W4295364310 hasConceptScore W4295364310C48103436 @default.
- W4295364310 hasConceptScore W4295364310C52723943 @default.
- W4295364310 hasConceptScore W4295364310C61237538 @default.
- W4295364310 hasConceptScore W4295364310C71924100 @default.
- W4295364310 hasConceptScore W4295364310C77736955 @default.
- W4295364310 hasConceptScore W4295364310C77928131 @default.
- W4295364310 hasConceptScore W4295364310C80444323 @default.
- W4295364310 hasConceptScore W4295364310C86803240 @default.
- W4295364310 hasLocation W42953643101 @default.
- W4295364310 hasOpenAccess W4295364310 @default.
- W4295364310 hasPrimaryLocation W42953643101 @default.
- W4295364310 hasRelatedWork W1585063374 @default.
- W4295364310 hasRelatedWork W1633106243 @default.
- W4295364310 hasRelatedWork W2101274322 @default.
- W4295364310 hasRelatedWork W2269461476 @default.
- W4295364310 hasRelatedWork W2373977992 @default.
- W4295364310 hasRelatedWork W31266741 @default.
- W4295364310 hasRelatedWork W3191482840 @default.
- W4295364310 hasRelatedWork W4230977852 @default.
- W4295364310 hasRelatedWork W811489916 @default.
- W4295364310 hasRelatedWork W2785405191 @default.
- W4295364310 isParatext "false" @default.
- W4295364310 isRetracted "false" @default.
- W4295364310 workType "article" @default.