타입이론,type_theory Copy: 타입이론,type_theory has comma Hide Show 타입이론,type_theory (rev. 1.1) 타입/형/형태/유형 론/이론 MKLINK 타입,type category_theory Twins: 유형_이론 Type_theory https://plato.stanford.edu/entries/type-theory/ https://ncatlab.org/nlab/show/type theory 이론,theory