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

Sub:

[[simple_type_theory]] =,simple_type_theory . simple_type_theory
{
https://ncatlab.org/nlab/show/simple+type+theory
... Google:simple+type+theory
}

[[polymorphic_type_theory]] =,polymorphic_type_theory . polymorphic_type_theory
{
[[다형성,polymorphism]]
... Google:polymorphic+type+theory
}

[[dependent_type_theory]] =,dependent_type_theory . dependent_type_theory
{

MKL [[dependent_type]] { "dependent type" }
... Google:dependent.type.theory
}

== intuitionistic type theory ==
[[intuitionistic_type_theory]] =,intuitionistic_type_theory =,intuitionistic_type_theory . intuitionistic_type_theory
'''intuitionistic type theory''' AKA '''constructive type theory, Martin-Löf type theory''' (we)
intuitionistic type theory
WtEn:intuitionistic 
NdEn:intuitionistic 
Bing:"intuitionistic type theory"
Naver:"intuitionistic type theory"
Ggl:"intuitionistic type theory"
https://ncatlab.org/nlab/show/Martin-Löf+dependent+type+theory
"intuitionistic type theory"
직관주의

= MKLINK =
[[타입,type]]
[[category]]
[[범주론,category_theory]]
[[type_system]]
[[typechecker]] or [[type_checker]] { WtEn:typechecker  Ggl:typechecker typechecker }

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

(misc)
WtEn:type_theory (too easy)

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