타입/형/형태/유형 론/이론
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
... simple type theory
}
polymorphic_type_theory
{
다형성,polymorphism
... polymorphic type theory
}
dependent_type_theory
{
... dependent.type.theory
}