Among his crucial articles: "Nominalism and Conceptualism as Predicative Second Order Theories of Predication", Notre Dame Journal of Formal Logic, vol. Twenty-one(1980); "Richard Montague and the Logical Analysis of Language", in Contemporary Philosophy: The Future Survey, vol. Two, Philosophy of Language/Philosophical Logic, G. Fløistad, ed., Martinus Nijhoff, The Hague (1981) and "The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy", Synthèse, vol. 45 (1980).

Among his books: Logical Investigations of Predication Theory & a Condition of Universals (1986); Logical Studies inside Early Analytic Philosophy (1987).