Uniform Memory and Serialization for Lambda Calculus

Details Uniform Memory and Serialization for Lambda Calculus Uniform Memory and Serialization for Lambda Calculus

2010-11-16

arxiv.org/abs/1011.4330v1

Computer Science

Logic in Computer Science

24 pages, in Russian

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Uniform Memory and Serialization for Lambda Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Uniform Memory and Serialization for Lambda Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Uniform Memory and Serialization for Lambda Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-113127