T. Mechouet et F. Zidani, « La Théorie Constructive des Types (TCT) », allj, vol. 28, nᵒ 1, p. 31-45, juin 2022.