The field of type theory relates fundamental concepts in logic, computer science, mathematics and philosophy. It deals with a class of formal systems where every term has a type and operations restricted to terms of some types.

A more detailed explanation can be found in Stanford Encyclopedia of Philosophy.

history | show excerpt | excerpt history