Some philosophical remarks on the theory of types in intensional logic Daniel Vanderveken OriginalPaper Pages: 85 - 112