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

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