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

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
Wiki:TypeTheory
 = http://wiki.c2.com/?TypeTheory

Up: [[타입,type]] [[이론,theory]]