Fu, Q., & Xi, H. (2023). A Two-Level Linear Dependent Type Theory.
Chicago Style (17th ed.) CitationFu, Qiancheng, and Hongwei Xi. A Two-Level Linear Dependent Type Theory. 2023.
MLA (9th ed.) CitationFu, Qiancheng, and Hongwei Xi. A Two-Level Linear Dependent Type Theory. 2023.
Warning: These citations may not always be 100% accurate.