(1):

(n.) A discourse or treatise on types.

(2):

(n.) The doctrine of types.