This paper contributes to the economics of deforestation by presenting a formal, infinite horizon dynamic model describing the use of tropical forest resources. As an alternative to clearing the forest, a landowner has the option to sell it to an international carbon crediting program. The model...