On Nonstandard Models in Higher Order Logic.

Christian Hort Horst Osswald On Nonstandard Models in Higher Order Logic. 204-219 1984 49 J. Symb. Log. 1 db/journals/jsyml/jsyml49.html#HortO84