In this paper we present a parallel implementation of L evy's optimal reduction for the -calculus [11]. In a similar approach to Lamping's one in [10], we base our work on a graph reduction technique known as directed virtual reduction [3] which is actually a restriction of Danos-Regnier virtual reduction [4]. The parallel implementation relies on a… (More)

### Presentations referencing similar topics