타입이론,type_theory (rev. 1.4)
타입/형/형태/유형 론/이론
Sub:
simple_type_theory
{
https://ncatlab.org/nlab/show/simple type theory
...
simple type theory
}
polymorphic_type_theory
{
...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
{
...
polymorphic type theory}
dependent_type_theory
{
...
dependent.type.theory}
