Internal Strict Propositions Using Point-Free Equations. - István Donkó; Ambrus Kaposi (TYPES, 2021)