We develop a model of optimal carbon taxation and redistribution taking into account horizontal equity concerns by considering heterogeneous energy efficiencies. By deriving first- and second-best rules for policy instruments including carbon taxes, transfers and energy subsidies, we then...