n. [ Type + -logy. ] 1. (Theol.) A discourse or treatise on types. [ 1913 Webster ]
2. (Theol.) The doctrine of types. [ 1913 Webster ]