niettypeerbaarheid
Niettypeerbaarheid is een begrip uit de type theorie en verwijst naar de eigenschap van een term die geen typering kan krijgen binnen een bepaald type systeem. In woorden: er bestaat geen type T waarvoor de term volgens de regels van het systeem een geldige typetoekenning heeft. Ofwel, er is geen afleiding die aantoont dat de term een geldig type heeft.
In de context van de lambda-calculus wordt vaak gesproken over het eenvoudig-typed lambda-calculus (STLC). Een bekend
Niettypeerbaarheid hangt af van het gekozen type systeem. In ruimere of meer expressieve systemen (bijvoorbeeld met