Uniform Memory and Serialization for Lambda Calculus
From MaRDI portal
Publication:6221933
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.
This page was built for publication: Uniform Memory and Serialization for Lambda Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6221933)
