유형 이론수학자 버트런드 러셀이 제안한 유형 개념에서 파생한 이론 / From Wikipedia, the free encyclopedia 수학, 논리학, 컴퓨터 과학에서 유형 이론(類型理論, 영어: type theory) 또는 유형론은 유형의 개념을 사용하여, 합법적으로 사용 가능한 논리식에 제한을 두는 논리 체계들의 총칭이다. 최초의 유형 이론은 버트런드 러셀이 만든 분지 유형 이론이다. 비슷한 이름의 유형론에 관해서는 해당 문서를 참조하십시오.
수학, 논리학, 컴퓨터 과학에서 유형 이론(類型理論, 영어: type theory) 또는 유형론은 유형의 개념을 사용하여, 합법적으로 사용 가능한 논리식에 제한을 두는 논리 체계들의 총칭이다. 최초의 유형 이론은 버트런드 러셀이 만든 분지 유형 이론이다. 비슷한 이름의 유형론에 관해서는 해당 문서를 참조하십시오.