J. Paśniczek, “Equating categorially names and quantifiers within first-order logic”, LLP, vol. 10, no. 10, pp. 119–129, Jan. 2004.