This paper provides a framework for examining environment taxes. It reviews the theoretical efficiency of three types of environment taxes: taxes on emissions or Pigouvian taxes; taxes on productive inputs or consumer goods whose use is related to environmental damage; and environment-related...