Type Theory

Home > Philosophy > Logic > Formal Proof > Type Theory

Type theory is the study of the properties of types and their relationships. It is used in computer science to ensure that programs are well typed and free from type errors.