@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}
}

{"_id":"hzExLnxJbuRkkLSur","bibbaseid":"pedicini-quaglia-pelcrparallelenvironmentforoptimallambdacalculusreduction-2007","authorIDs":[],"author_short":["Pedicini, M.","Quaglia, F."],"bibdata":{"bibtype":"article","type":"article","title":"PELCR: parallel environment for optimal lambda-calculus reduction","author":[{"propositions":[],"lastnames":["Pedicini"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Quaglia"],"firstnames":["Francesco"],"suffixes":[]}],"journal":"ACM Transactions on Computational Logic (TOCL)","volume":"8","number":"3","pages":"14","year":"2007","publisher":"ACM","bibtex":"@article{Ped07,\n\ttitle={PELCR: parallel environment for optimal lambda-calculus reduction},\n\tauthor={Pedicini, Marco and Quaglia, Francesco},\n\tjournal={ACM Transactions on Computational Logic (TOCL)},\n\tvolume={8},\n\tnumber={3},\n\tpages={14},\n\tyear={2007},\n\tpublisher={ACM}\n}\n\n","author_short":["Pedicini, M.","Quaglia, F."],"key":"Ped07","id":"Ped07","bibbaseid":"pedicini-quaglia-pelcrparallelenvironmentforoptimallambdacalculusreduction-2007","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/alessandropellegrini/alessandropellegrini.github.io/master/pubs.bib","creationDate":"2021-02-05T20:44:07.957Z","downloads":0,"keywords":[],"search_terms":["pelcr","parallel","environment","optimal","lambda","calculus","reduction","pedicini","quaglia"],"title":"PELCR: parallel environment for optimal lambda-calculus reduction","year":2007,"dataSources":["PcuRWp2nBdXHxwj7e"]}