Statistics for Моделирование рекурсивных алгоритмов средствами теории типов Мартин-Лефа / Ռեկուրսիվ ընթացակարգերի մոդելավորումը Մարթին-Լյոֆի տիպերի տեսույան միջոցներում