Mechouet, T. and Zidani, F. 2022. Constructive Type Theory. AL-Lisaniyyat. 28, 1 (Jun. 2022), 31-45. DOI:https://doi.org/10.61850/allj.v28i1.58.