타입이론,type_theory

타입이론,type_theory (rev. 1.6)

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

Sub:


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"
직관주의