This paper studies environmental taxation in a Mirrlees setting when energy, a polluting good, is used both as a factor of production and a final consumption good. The model is calibrated for the Czech economy. We study two different tax systems. Both consider a non-linear income tax but the...