타입이론,type_theory Copy: 타입이론,type_theory has comma Hide Show 타입이론,type_theory (rev. 1.3) 타입/형/형태/유형 론/이론 MKLINK 타입,type category_theory 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 = http://wiki.c2.com/?TypeTheory Up: 타입,type 이론,theory