This paper surveys research on optimal redistributive taxation in economies with environmental externalities. A key question is whether externality correction only motivates an adjustment of the tax policy rule for the externality-generating activity, or whether the marginal value of the externality directly enters the policy rules for other tax instruments as well. In a static benchmark model with an atmospheric consumption externality, where the government uses a mix of a nonlinear income tax and linear commodity taxes, one can show that Sandmo's (1975) additivity property applies. This means that externality correction leads to an additional term (measuring the marginal value of the externality) in the commodity tax formula for the externality-generating good, while the policy rules for commodity taxation of clean goods and marginal income taxation take the same form as in the absence of any externality. We also extend this benchmark model to capture a number of scenarios (such as non-atmospheric externalities, border trade in the externality-generating good, and competition between governments in a multi-country framework), where the additivity property no longer applies. We end by examining an intertemporal model of optimal taxation with a stock-externality, allowing us to integrate the study of optimal redistributive taxation with literature on environmental economics and policy based on dynamic models.