Two-Level Type Theory

References

• Staged Compilation With Two-Level Type Theory. András Kovács. 2022.
• Internal ∞-Categorical Models of Dependent Type Theory: Towards 2LTT Eating HoTT. Nicolai Kraus. 2021.
• A Higher Structure Identity Principle. Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis. 2020.
• A General Framework for the Semantics of Type Theory. Taichi Uemura. 2019.
• Two-Level Type Theory and Applications. Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler. 2019.
• Models of Type Theory With Strict Equality. Paolo Capriotti. 2017.