Parallel Reduction in Resource Lambda-Calculus

  • Authors:
  • Michele Pagani;Paolo Tranquilli

  • Affiliations:
  • Dipartimento di Informatica, Università di Torino,;Laboratoire PPS, Université Paris Diderot,

  • Venue:
  • APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the resource calculus --- the non-lazy version of Boudol's *** -calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to nondeterminism, modelled by a formal sum. We define parallel reduction in resource calculus and we apply, in such a nondeterministic setting, the technique by Tait and Martin-Löf to achieve confluence. Then, slightly generalizing a technique by Takahashi, we obtain a standardization result.