1. Ferreira F.: Comments on predicative logic. Journal of Philosophical Logic 35, 1–8 (2006)
2. Ferreira F., Ferreira G.: Commuting conversions vs. the standard conversions of the “good” connectives. Studia Logica 92, 63–84 (2009)
3. Ferreira F., Ferreira G.: Atomic polymorphism. The Journal of Symbolic Logic 78, 260–274 (2013)
4. Ferreira, F., and G. Ferreira, The faithfulness of atomic polymorphism, in A. Indrzejczak, J. Kaczmarek, and M. Zawidzki (eds.), Proceedings of Trends in Logic XIII, Łódź University Press, Lodz, 2014, pp. 55–65.
5. Girard, J.-Y., Y. Lafont, and P. Taylor, Proofs and Types, Cambridge University Press, Cambridge, 1989.