Optimal Reduction in Weak-λ-calculus with Shared Environments

  title={Optimal Reduction in Weak-λ-calculus with Shared Environments},
  author={Nobuko Yoshida},
We introduce a weak-~-calculus called A f-cnlculus which formalizes functional execution with shared environments in a clean and tractable way. It effectively incorporates the notion of name passing into the functional regime, treating variables in environments as channels of communication. This enables simple formulation of reduction rules under a sequence of shared environments, resulting in a functional calculus whose weak reduction enjoys several pleasant syntactic properties, e.g. the… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
20 Citations
0 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Similar Papers

Loading similar papers…