Papers tagged intuitionistic type theory On the Meanings of the Logical Constants and the Justifications of the Logical Laws Browse All Keywords By Category
