bn:01741246n
Noun Concept
NL
type constructor
EN
In the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Wikipedia
Sources
Wikipedia Translations