Back نظرية النمط Arabic Tiplər nəzəriyyəsi Azerbaijani Teorie typů Czech Typentheorie German Θεωρία τύπων Greek Type theory English Teorio de tipoj Esperanto Teoría de tipos Spanish Tüübiteooria Estonian نظریه نوعها Persian
Questa voce o sezione sull'argomento teorie dell'informatica non cita le fonti necessarie o quelle presenti sono insufficienti.
Dal punto di vista più generale, la teoria dei tipi è la branca della matematica e della logica che si occupa di classificare generiche entità, raggruppandole in collezioni chiamate tipi. Sotto questo punto di vista vi sono punti di contatto con la nozione di tipo della metafisica. La moderna formulazione della teoria dei tipi è, in parte, nata dal tentativo di dare una risposta al cosiddetto Paradosso di Russell, ed è estesamente trattata nei Principia Mathematica di Bertrand Russell e Alfred North Whitehead.