Користувач:Yuriz/Чернетка/ТТ

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Історія

[ред. | ред. код]

Основні поняття

[ред. | ред. код]

Відмінності від теорії множин

[ред. | ред. код]

Додаткові особливості

[ред. | ред. код]

Нормалізація

[ред. | ред. код]

Залежні типи

[ред. | ред. код]

Equality types

[ред. | ред. код]

Індуктивні типи

[ред. | ред. код]

Universe types

[ред. | ред. код]

Обчислювальний компонент

[ред. | ред. код]

Теорії типів

[ред. | ред. код]

Головні

[ред. | ред. код]

Другорядні

[ред. | ред. код]

Активні

[ред. | ред. код]

Практичний вплив

[ред. | ред. код]

Мови програмування

[ред. | ред. код]

Фундації математики

[ред. | ред. код]

Асистенти доведення

[ред. | ред. код]

Використання у лінгвістиці

[ред. | ред. код]

Соціальні науки

[ред. | ред. код]

Відношення до теорії категорій

[ред. | ред. код]

Див. також

[ред. | ред. код]

Примітки

[ред. | ред. код]

Джерела

[ред. | ред. код]

Посилання

[ред. | ред. код]
Отримано з https://uk.wikipedia.org/w/index.php?title=Користувач:Yuriz/Чернетка/ТТ&oldid=24203163