bn:03110028n
Noun Concept
PT
No term available
EN
In type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types. Wikipedia
Relations
Sources
DIFFERENT FROM
NOTATION
OPPOSITE OF