Mechouet, Terkia, and Farid Zidani. “Constructive Type Theory”. AL-Lisaniyyat 28, no. 1 (June 16, 2022): 31-45. Accessed September 20, 2024. https://crstdla.dz/ojs/index.php/allj/article/view/58.