This paper studies the implications of (endogenously) directed technical change for the design of non-linear labor income taxes in a Mirrleesian economy augmented to include endogenous technology development and adoption choices by firms. First, I identify conditions under which any progressive...