Multi-Type Algebraic Proof Theory

This dissertation pertains to algebraic proof theory, a research field aimed at solving problems in structural proof theory using results and insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras. The main contributions of this dissertation involve the very recent theory of multi-type calculi...