
handle: 2078.1/228131
This document presents a variant of the Ordinary λ-Calculus that we call the Distributed λ-Calculus. The novelty is in addition of node annotations to terms in addition to a mobility rule. We show that, despite distributed programs, the Distributed λ-Calculus is computationally equivalent to the Ordinary λ-Calculus. That is of special importance becasuse, despite the common belief, distributed programming can happen without side-effects. A significant shortcoming of the Distributed λ-Calculus is that it does not model interaction with the real world. In other words, it only models programming a closed distributed system.
Distributed Systems Programming, λ-Calculus
Distributed Systems Programming, λ-Calculus
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
