Теория типов
В математике, логике и информатике теорией типов считается какая-либо формальная система, являющаяся альтернативой наивной теории множеств, сопровождаемая классификацией элементов такой системы с помощью типов, образующих некоторую иерархию. Также под теорией типов понимают изучение подобных формализмов.

Теория типов — математически формализованная база для проектирования, анализа и изучения систем типов данных в теории языков программирования (раздел информатики). Многие программисты используют это понятие для обозначения любого аналитического труда, изучающего системы типов в языках программирования. В научных кругах под теорией типов чаще всего понимают более узкий раздел дискретной математики, в частности λ-исчисление с типами.

Современная теория типов была частично разработана в процессе разрешения парадокса Рассела и во многом базируется на работе Бертрана Рассела и Альфреда Уайтхеда «Principia mathematica».
Q395
математике
Concept
Q8078
логике
Concept
Q21198
информатике
Concept
Q649732
формальная система
Concept
Q12482
наивной теории множеств
Concept
Q21198
информатики
Concept
Q121416
дискретной математики
Concept
Q242028
λ-исчисление
Concept
Q33401
парадокса Рассела
Concept
Q33760
Бертрана Рассела
PER
Q183372
Альфреда Уайтхеда
PER
Q163335
Principia mathematica
ORG
Q1056428
Теория типов
Concept
facet of
facet of
facet of
subclass of
facet of
part of
named after
notable work
notable work
author
author