타입|형|형태|유형 론|이론
so 유형론, 형론, 타입론, ...등등
so 유형론, 형론, 타입론, ...등등
Sub:
simple_type_theory =,simple_type_theory . simple_type_theory
{
https://ncatlab.org/nlab/show/simple type theory
...
simple type theory
}
{
https://ncatlab.org/nlab/show/simple type theory
...
simple type theory}
polymorphic_type_theory =,polymorphic_type_theory . polymorphic_type_theory
{
다형성,polymorphism
...polymorphic type theory
}
{
다형성,polymorphism
...
polymorphic type theory}
MKL dependent_type { "dependent type" }
categorical semantics of dependent type theory
https://ncatlab.org/nlab/show/categorical semantics of dependent type theory
https://ncatlab.org/nlab/show/categorical semantics of 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
intuitionistic
intuitionistic
intuitionistic type theory
intuitionistic type theory
intuitionistic type theory
https://en.wikipedia.org/wiki/Intuitionistic_type_theory
https://plato.stanford.edu/entries/type-theory-intuitionistic/
https://ncatlab.org/nlab/show/Martin-Löf dependent type theory
"intuitionistic type theory"
직관주의
intuitionistic type theory AKA constructive type theory, Martin-Löf type theory (we)
intuitionistic type theory
intuitionisticintuitionisticintuitionistic type theoryintuitionistic type theoryintuitionistic type theoryhttps://en.wikipedia.org/wiki/Intuitionistic_type_theory
https://plato.stanford.edu/entries/type-theory-intuitionistic/
https://ncatlab.org/nlab/show/Martin-Löf dependent type theory
"intuitionistic type theory"
직관주의
