Gilda Ferreira

25 papers B 1Journal 23Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
How to avoid the commuting conversions of IPC.
Theor. Comput. Sci.
José Espírito Santo, Gilda Ferreira
2024 J jnl
Herbrandized modified realizability.
Arch. Math. Log.
Gilda Ferreira, Paulo Renato A. Firmino
2024 J jnl
How to avoid the commuting conversions of IPC.
CoRR
José Espírito Santo, Gilda Ferreira
2022 J jnl
Typability and Type Inference in Atomic Polymorphism.
Log. Methods Comput. Sci.
M. Clarence Protin, Gilda Ferreira
2021 J jnl
The Russell-Prawitz embedding and the atomization of universal instantiation.
Log. J. IGPL
José Espírito Santo, Gilda Ferreira
2021 J jnl
Typability and Type Inference in Atomic Polymorphism.
CoRR
M. Clarence Protin, Gilda Ferreira
2020 J jnl
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.
Stud Logica
José Espírito Santo, Gilda Ferreira
2019 J jnl
The computational content of atomic polymorphism.
Log. J. IGPL
Gilda Ferreira, Vasco T. Vasconcelos
2018 J jnl
Atomic polymorphism and the existence property.
Ann. Pure Appl. Log.
Gilda Ferreira
2017 J jnl
A herbrandized functional interpretation of classical first-order logic.
Arch. Math. Log.
Fernando Ferreira, Gilda Ferreira
2017 J jnl
Rasiowa-Harrop Disjunction Property.
Stud Logica
Gilda Ferreira
2017 J jnl
η-conversions of IPC implemented in atomic F.
Log. J. IGPL
Gilda Ferreira
2016 J jnl
Instantiation overflow.
Reports Math. Log.
Bruno Dinis, Gilda Ferreira
2015 J jnl
The Faithfulness of Fat: A Proof-Theoretic Proof.
Stud Logica
Fernando Ferreira, Gilda Ferreira
2013 J jnl
Atomic polymorphism.
J. Symb. Log.
Fernando Ferreira, Gilda Ferreira
2013 J jnl
Interpretability in Robinson's Q.
Bull. Symb. Log.
Fernando Ferreira, Gilda Ferreira
2012 J jnl
On bounded functional interpretations.
Ann. Pure Appl. Log.
Gilda Ferreira, Paulo Oliva
2011 J jnl
Functional Interpretations of Intuitionistic Linear Logic
Log. Methods Comput. Sci.
Gilda Ferreira, Paulo Oliva
2010 J jnl
Confined modified realizability.
Math. Log. Q.
Gilda Ferreira, Paulo Oliva
2010 — conf
On Various Negative Translations
CL&C
Gilda Ferreira, Paulo Oliva
2009 J jnl
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives.
Stud Logica
Fernando Ferreira, Gilda Ferreira
2009 B conf
Functional Interpretations of Intuitionistic Linear Logic.
CSL
Gilda Ferreira, Paulo Oliva
2008 J jnl
Harrington's conservation theorem redone.
Arch. Math. Log.
Fernando Ferreira, Gilda Ferreira
2008 J jnl
The Riemann Integral in Weak Systems of Analysis.
J. Univers. Comput. Sci.
Fernando Ferreira, Gilda Ferreira
2006 J jnl
Counting as integration in feasible analysis.
Math. Log. Q.
Fernando Ferreira, Gilda Ferreira