타입/형/형태/유형 론/이론
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
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}
polymorphic_type_theory =,polymorphic_type_theory . polymorphic_type_theory
{
다형성,polymorphism
...
polymorphic type theory
}
{
다형성,polymorphism
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}
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
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![NdEn: NdEn:](/wiki/imgs/interwiki/nden-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
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"
직관주의
MKLINK ¶
타입,type
범주론,category_theory
type_system
typechecker or type_checker {
typechecker
typechecker typechecker }
범주론,category_theory
type_system
typechecker or type_checker {
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
Twins:
유형_이론
Type_theory
https://plato.stanford.edu/entries/type-theory/
https://ncatlab.org/nlab/show/type theory
https://encyclopediaofmath.org/wiki/Types,_theory_of
TypeTheory
(misc)
type_theory (too easy)
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://plato.stanford.edu/entries/type-theory/
https://ncatlab.org/nlab/show/type theory
https://encyclopediaofmath.org/wiki/Types,_theory_of
![Wiki: Wiki:](/wiki/imgs/interwiki/wiki-16.png)
(misc)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)