István Donkó, Ambrus Kaposi. Internal Strict Propositions Using Point-Free Equations. In Henning Basold, Jesper Cockx, Silvia Ghilezan, editors, 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference). Volume 239 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.