Mechouet, Terkia, and Farid Zidani. 2022. “Constructive Type Theory”. AL-Lisaniyyat 28 (1), 31-45. https://doi.org/10.61850/allj.v28i1.58.