Higher Order Metaphysics

Properties and Propositions: The Metaphysics of Higher order Logic

A Philosophical Introduction to Higher order Logics

Higher Order Computability (Theory and Applications of Computability)

PROPOSITIONAL METAPHYSICS: Being, Order, and the Ground of All Explanation