scientific article; zbMATH DE number 5033862

MaRDI QIDQ5472908zbMATH OpenFDO

Authors G. W. Hamilton

Publication date 19 June 2006

zbMATH Keywords

functional programstransformation algorithm

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Forest defoliation scenarios
• Deforestation and optimal management
• Deforestation, program transformation, and cut-elimination
• Deforesting Logical Form
• Deforestation: Transforming programs to eliminate trees
• Destruction of very simple trees
• Ordinal forests
• Cuts in increasing trees
• Deficiency of forests

Cited in

(11)

• Woodland deforestation by charcoal supply to Dar es Salaam
• Constraints to stop deforestation
• scientific article; zbMATH DE number 1696590 (Why is no real title available?)
• Typer inference builds a short cut to deforestation
• Extracting the essence of distillation
• Deforesting Logical Form
• Program separation and definitional higher order programming
• scientific article; zbMATH DE number 2090115 (Why is no real title available?)
• scientific article; zbMATH DE number 1456971 (Why is no real title available?)
• Destruction of very simple trees
• Deforestation: Transforming programs to eliminate trees

This page was built for publication:

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