Simple theory of types

Redirect to:

• History of type theory#Theory of simple types