Gilda Ferreira
José Espírito Santo, Gilda Ferreira. How to avoid the commuting conversions of IPC. Theoretical Computer Science, 1033, Elsevier BV, 2025 [Biblios]
M. Clarence Protin, Gilda Ferreira. Typability and Type Inference in Atomic Polymorphism. Logical Methods in Computer Science, Volume 18, Issue 3, Centre pour la Communication Scientifique Directe (CCSD), 2022 [Biblios]
José Espírito Santo, Gilda Ferreira. The Russell-Prawitz embedding and the atomization of universal instantiation. Logic Journal of the IGPL, Oxford University Press (OUP), 2020 [Biblios]
José Espírito Santo, Gilda Ferreira. A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism. Studia Logica, Springer Science and Business Media LLC, 2019 [Biblios]
Gilda Ferreira, Vasco T Vasconcelos. The computational content of atomic polymorphism. Logic Journal of the IGPL, 27(5):625-638, Oxford University Press (OUP), 2018 [Biblios]
Gilda Ferreira. Atomic polymorphism and the existence property. Annals of Pure and Applied Logic, 169(12):1303-1316, Elsevier BV, 2018 [Biblios]
Fernando Ferreira, Gilda Ferreira. A herbrandized functional interpretation of classical first-order logic. Archive for Mathematical Logic, 56(5-6):523-539, Springer Nature, 2017 [Biblios]
António Fernandes, Fernando Ferreira, Gilda Ferreira. Analysis in weak systems, In Essays in Honour of Amílcar Sernadas, pages 231 - 261. College Publications, London, 2017 [Biblios]
Gilda Ferreira. Rasiowa–Harrop Disjunction Property. Studia Logica, 105(3):649-664, Springer Nature, 2016 [Biblios]
Gilda Ferreira. Eta-conversions of IPC implemented in atomic F. Logic Journal of IGPL, Oxford University Press (OUP), 2016 [Biblios]
Fernando Ferreira, Gilda Ferreira. Elementary Proof of Strong Normalization for Atomic F. Bulletin of the Section of Logic, 45(1):1-15, Uniwersytet Lodzki (University of Lodz), 2016 [Biblios]
Fernando Ferreira, Gilda Ferreira. The faithfulness of Fat: a proof-theoretic proof. STUDIA LOGICA, 103(6):1303-1311, 2015 [Biblios]