Категорія:Теорія типів

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Ця категорія не має основної статті — Теорія типів(type theory[d]). Ви допоможете проекту, якщо напишете або перекладете її.