Fu, Q., & Xi, H. (2023). A Two-Level Linear Dependent Type Theory.
Chicago-Zitierstil (17. Ausg.)Fu, Qiancheng, und Hongwei Xi. A Two-Level Linear Dependent Type Theory. 2023.
MLA-Zitierstil (9. Ausg.)Fu, Qiancheng, und Hongwei Xi. A Two-Level Linear Dependent Type Theory. 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.