ramified type theory


분지유형이론 위키가 어제 수정됐네.. 심지어 한국어 문서만 있어..