We explore two methods of incorporating bottom-up abatement cost estimates into top-down modeling: economy-wide and sector-specific. Carbon emissions depend basically on technology and scale. Given the technology options, abatement is possible without a substantial reduction in scale. Otherwise...

The paper discusses three general classes of nonlinear programming models. Our objective is to show how to represent optimization problem, such as nonlinear programs, in a compact format using extended mathematical programming. This is a useful tool, especially in cases when complementarity...

We analyze existing definitions of carbon leakage and provide a new rigorous one. This is then tested using computable general equilibrium analysis for unilateral carbon dioxide abatement programs in the EU. Our model of the global economy is disaggregated into three regions. The analysis...

Pollution charges are directly applied on exported and domestic, but not imported commodities. We investigate how environmental taxation affects foreign trade in the Czech Republic. Using computable general equilibrium modeling with bottom-up approach, we consider a small-open economy with...