Intensional and Higher-Order Modal Logic

Higher Order Perl

Higher-Order Metaphysics

Programming with Higher-Order Logic

A Philosophical Introduction to Higher-order Logics