Paśniczek, J. Equating Categorially Names and Quantifiers Within First-Order Logic. LLP 2004, 10, 119–129.