Paśniczek, J. “Equating Categorially Names and Quantifiers Within First-Order Logic”. Logic and Logical Philosophy, vol. 10, no. 10, Jan. 2004, pp. 119–129, doi:10.12775/LLP.2002.007.