APA (7th ed.) Citation

Mechouet, T., & Zidani, F. Constructive Type Theory. Scientific and Technological Research Center for the Development of the Arabic Language.

Chicago Style (17th ed.) Citation

Mechouet, Terkia, and Farid Zidani. Constructive Type Theory. Scientific and Technological Research Center for the Development of the Arabic Language.

MLA (9th ed.) Citation

Mechouet, Terkia, and Farid Zidani. Constructive Type Theory. Scientific and Technological Research Center for the Development of the Arabic Language.

Warning: These citations may not always be 100% accurate.