Papers tagged type theory ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS Propositions as Types The Derivative of a Regular Type is its Type of One-Hole Contexts Browse All Keywords By Category
