1. Alama, J. (2017). The lambda calculus. In Zalta, E.N. (Ed.) The Stanford Encyclopedia of Philosophy (Fall 2017 Edition). https://plato.stanford.edu/archives/fall2017/entries/lambda-calculus/ .
2. Bacon, A., Hawthorne, H., Uzquiano Cruz, G. (2016). Higher-order free logic and the prior-Kaplan paradox. Canadian Journal of Philosophy, 46, 493–541.
3. Bealer, G. (1982). Quality and concept. Oxford: Oxford University Press.
4. Bealer, G. (1989). Fine-grained type-free intensionality. In Chierchia, G., Partee, B., Turner, R. (Eds.) Properties, Types and Meaning, (Vol. I pp. 177–230). Dordrecht: Kluwer.
5. Bealer, G., & Mönnich, U. (1989). Property theories. In Gabbay, D., & Guenthner, F. (Eds.) Handbook of Philosophical Logic, (Vol. IV pp. 133–251). Dordrecht: Reidel.