Skip to content

A parallel implementation for optimal lambda-calculus reduction.

Marco Pedicini, Francesco Quaglia

VenueCPPDP
Year2000
ProceedingsPPDP

Browse the full PPDP paper archive.