 A number of different deductive systems and model-theoretic semantics have been proposed for second- and higher-order languages. For the semantics, the main additional feature of the model-theory is to specify a range of the higher-order variables.