Please enable javascript to use dictionary! Howto enable javascript?
type theory▼(branch of logic and computer science)noun
↑