Annenkov, Danil, Capriotti, Paolo, Kraus, Nicolai, Sattler, Christian, "Two-level type theory and applications", Mathematical Structures in Computer Science, 2023