bn:01741246n
Noun Concept
JA
No term available
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