Supporting function calls within PELCR

MaRDI QIDQ2851711zbMATH OpenFDO

Authors Antonio Cosentino, Francesco Quaglia, Marco Pedicini

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000910

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• PELCR: parallel environment for optimal lambda-calculus reduction
• scientific article; zbMATH DE number 2090647
• Distributed computation by graph reduction
• scientific article; zbMATH DE number 1086661
• Parallel beta reduction is not elementary recursive

Cited in

(2)

• scientific article; zbMATH DE number 2090647 (Why is no real title available?)
• PELCR: parallel environment for optimal lambda-calculus reduction

This page was built for publication: Supporting function calls within PELCR

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851711)