PELCR: parallel environment for optimal lambda-calculus reduction

Marco Pedicini and Francesco Quaglia


Published in: ACM Transactions on Computational Logic (TOCL), 2007
pdf Download PDF

Abstract:

BibTeX Entry:

@article{Ped07,
title = {PELCR: parallel environment for optimal lambda-calculus reduction},
author = {Pedicini, Marco and Quaglia, Francesco},
journal = {ACM Transactions on Computational Logic (TOCL)},
volume = {8},
number = {3},
pages = {14},
year = {2007},
publisher = {ACM}
}