Two-Level Type Theory

Contents

References

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