유형 이론

형 이론(영어: type theory) 또는 유형론은 수학, 논리학 그리고 컴퓨터 공학에서 소박한 집합론의 대안적인 형식 시스템 혹은 형식 이론 관련 연구 분야를 의미한다.

역사

1902년부터 1908년 사이 소박한 집합론의 고틀로프 프레게 판이 러셀의 역설로 고생하고 있다는 것을 발견한 데 대해 버트런드 러셀은 다양한 형 이론을 제시했다.

같이 보기

• 자료형
• 자료형 체계
• 도메인 이론

외부 링크

• (영어) The Nuprl Book: "Introduction to Type Theory."