Uniform Memory and Serialization for Lambda Calculus

TL;DR

This paper proposes a novel system for implementing lambda calculus reduction using uniform memory graphs and real-time state machines, introducing serialization for result comparison during computation.

Contribution

It defines a new type of system with uniform memory and demonstrates its application to lambda calculus reduction, including serialization techniques for real-time result comparison.

Findings

Reduction machine implemented with uniform memory graphs

Serialization enables comparison during computation

Real-time operation of state machines with uniform memory

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.