Gilda Ferreira
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]