Robert Levine's research and publications focus on applications of feature logics and type logics to a range of empirical phenomena, including noncanonical coordinations, ellipsis, filler/gap dependencies, and syntactic and semantic properties of scopal phenomena, including negative polarity effects. Most of his current research is devoted to exploring the properties of hybrid proof theories in type-logical frameworks that include both directional (Lambek calculus) and nondirectional (λ-calculus) modes of implicational inference, and applying these frameworks to empirical problems at the syntax-semantics interface.