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

Sub:
simple_type_theory
{
https://ncatlab.org/nlab/show/simple+type+theory
... Google:simple+type+theory
}
polymorphic_type_theory
{
[[다형성,polymorphism]]
... Google:polymorphic+type+theory
}
dependent_type_theory
{
... Google:dependent.type.theory
}

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]]