Encoding Dependently-Typed Constructions into Simple Type Theory. - Anthony Bordg; Adrián Doña Mateo (CPP, 2023)

Strict Omega Categories. - Anthony Bordg; Adrián Doña Mateo (Arch. Formal Proofs, 2023)