Counting as integration in feasible analysis. - Fernando Ferreira 001; Gilda Ferreira (Math. Log. Q., 2006)

Harrington's conservation theorem redone. - Fernando Ferreira 001; Gilda Ferreira (Arch. Math. Log., 2008)

The Riemann Integral in Weak Systems of Analysis. - Fernando Ferreira 001; Gilda Ferreira (J. Univers. Comput. Sci., 2008)

Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. - Fernando Ferreira 001; Gilda Ferreira (Stud Logica, 2009)

On Various Negative Translations - Gilda Ferreira; Paulo Oliva (CL&C, 2010)

Confined modified realizability. - Gilda Ferreira; Paulo Oliva (Math. Log. Q., 2010)

Functional Interpretations of Intuitionistic Linear Logic - Gilda Ferreira; Paulo Oliva (Log. Methods Comput. Sci., 2011)

On bounded functional interpretations. - Gilda Ferreira; Paulo Oliva (Ann. Pure Appl. Log., 2012)

Interpretability in Robinson's Q. - Fernando Ferreira 001; Gilda Ferreira (Bull. Symb. Log., 2013)

Atomic polymorphism. - Fernando Ferreira 001; Gilda Ferreira (J. Symb. Log., 2013)

The Faithfulness of Fat: A Proof-Theoretic Proof. - Fernando Ferreira 001; Gilda Ferreira (Stud Logica, 2015)

Instantiation overflow. - Bruno Dinis; Gilda Ferreira (Reports Math. Log., 2016)

A herbrandized functional interpretation of classical first-order logic. - Fernando Ferreira 001; Gilda Ferreira (Arch. Math. Log., 2017)

η-conversions of IPC implemented in atomic F. - Gilda Ferreira (Log. J. IGPL, 2017)

Rasiowa-Harrop Disjunction Property. - Gilda Ferreira (Stud Logica, 2017)

Atomic polymorphism and the existence property. - Gilda Ferreira (Ann. Pure Appl. Log., 2018)

The computational content of atomic polymorphism. - Gilda Ferreira; Vasco T. Vasconcelos (Log. J. IGPL, 2019)

A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism. - José Espírito Santo; Gilda Ferreira (Stud Logica, 2020)

The Russell-Prawitz embedding and the atomization of universal instantiation. - José Espírito Santo; Gilda Ferreira (Log. J. IGPL, 2021)

Typability and Type Inference in Atomic Polymorphism. - M. Clarence Protin; Gilda Ferreira (Log. Methods Comput. Sci., 2022)

Herbrandized modified realizability. - Gilda Ferreira; Paulo Renato A. Firmino (Arch. Math. Log., 2024)

How to avoid the commuting conversions of IPC. - José Espírito Santo; Gilda Ferreira (Theor. Comput. Sci., 2025)