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.