bn:03110036n
Noun Concept
PT
No term available
EN
In mathematical logic and computer science, some type theories and type systems include a top type that is commonly denoted with top or the symbol ⊤. Wikipedia
Relations
Sources
OPPOSITE OF