Typentheorie

In de wiskunde, de logica en de informatica is de typentheorie een van de formele systemen die als alternatief kunnen dienen voor de naïeve verzamelingenleer of voor de studie van formele systemen in het algemeen. In de programmeertaaltheorie, een deelgebied van de informatica, kan de typentheorie verwijzen naar het ontwerp, de analyse en de studie van typesystemen, hoewel sommige informatici de betekenis van de term beperken tot de abstracte formele systemen, zoals de getypeerde lambdacalculus.