Tsvira, Yaroslav, AND 		Gorbunova, Tatyana.
" Implementation of Type Theory as a Tool for Perceiving Mathematical Theory in Developed Software" <em>Modern Information Technologies and IT-Education</em> [Online], Volume 20 Number 4 (15 December 2024)