[1] F. Ferreira, Comments on Predicative Logic, Journal of Philosophical Logic 35 (2006), 1–8.
[2] F. Ferreira and G. Ferreira, Commuting conversions vs. the standard conversions of the “good” connectives, Studia Logica 92 (2009), 63–84.
[3] F. Ferreira and G. Ferreira, Atomic Polymorphism, Journal of Symbolic Logic 78:1 (2013), 260–274.
[4] F. Ferreira and G. Ferreira, The faithfulness of atomic polymorphism, Trends in Logic XIII, A. Indrzejczak, J. Kaczmarek, M. Zawidzki (eds.), Lo´d´z University Press, pp. 55–64, 2014.
[5] F. Ferreira and G. Ferreira, The faithfulness of Fat: a proof-theoretic proof, Studia Logica 103:6 (2015), 1303–1311.
[6] J.-Y. Girard, Y. Lafont and P. Taylor, Proofs and Types, Cambridge University Press, 1989.
[7] D. Prawitz, Natural Deduction, Almkvist & Wiskell, Stockholm, 1965. Reprinted in Dover Publications, 2006.