From the 1 of 1 linked paper with an AI index.
1 paper
Andrew W. Swan
The paper constructs classifiers for double‑negation‑stable h‑propositions in various cubical set models of homotopy type theory, and uses them to obtain relative consistency resul…