Type theory

Home > Philosophy > Logic > Recursion Theory > Type theory

This is the study of the properties and relationships of different types of objects within a formal system, and seeks to determine which types are valid or not.