타입/형/형태/유형 론/이론
Sub:
simple_type_theory
{
https://ncatlab.org/nlab/show/simple type theory
...
simple type theory
}
polymorphic_type_theory
{
다형성,polymorphism
...
polymorphic type theory
}
dependent_type_theory
{
...
dependent.type.theory
}
simple_type_theory
{
https://ncatlab.org/nlab/show/simple type theory
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}
polymorphic_type_theory
{
다형성,polymorphism
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}
dependent_type_theory
{
...
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
}