Title: On the Formulae-as-Types Correspondence for Classical Logic
Description: Doctoral thesis of Charles Stewart, which investigates foundational aspects of the application of the formulae-as-types correspondence to classical logic, and extends the treatment to include intensional equality and induction.