타입 이론
타입 이론(type theory)는 타입에 기반한 논리 체계이다. 본래 러셀의 역설이 발생하지 않는 수학의 기초로서 고안되었다. 프로그래밍 언어의 타입 시스템 또한 타입 이론의 일종으로 이해 할 수 있다.
목록
- 마틴뢰프 타입 이론
- 1차 의존 타입 이론 (λLF)
- Calculus of Constructions
- Calculus of Inductive Constructions
- 호모토피 타입 이론
타입 이론(type theory)는 타입에 기반한 논리 체계이다. 본래 러셀의 역설이 발생하지 않는 수학의 기초로서 고안되었다. 프로그래밍 언어의 타입 시스템 또한 타입 이론의 일종으로 이해 할 수 있다.