'''타입/형/형태/유형 론/이론'''

MKLINK
[[타입,type]]
[[category]]
[[category_theory]]


----
Twins:
WpKo:유형_이론
WpEn:Type_theory
https://plato.stanford.edu/entries/type-theory/
https://ncatlab.org/nlab/show/type+theory
https://encyclopediaofmath.org/wiki/Types,_theory_of

[[이론,theory]]