Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic.

Neil J. DeBoer

Browse the full LFCS paper archive.