Mentics Glossary

TYPE_TREE

Definition

Type-tree, n.. A structure that is a type-chain whose symbols are types.

Comments

See concept-tree. The context for concept-tree generally focuses more on meaning, and that of type-tree more on structure. See Table 12, Thing vs. Concept and Table 13, Concept-tree.