타입이론,type_theory

타입이론,type_theory (rev. 1.4)

타입/형/형태/유형 론/이론

Sub:
simple_type_theory
{
https://ncatlab.org/nlab/show/simple type theory
... Google:simple type theory
}
polymorphic_type_theory
{
... Google:polymorphic type theory
}
dependent_type_theory
{
... Google:dependent.type.theory
}