Mechouet T, Zidani F. Constructive Type Theory. allj [Internet]. 2022Jun.16 [cited 2024Sep.20];28(1):31-5. Available from: https://crstdla.dz/ojs/index.php/allj/article/view/58