Gilda Ferreira

Profile Picture of Gilda Ferreira
  • Email
    gmferreira (at)
M. Clarence ProtinGilda FerreiraTypability and Type Inference in Atomic Polymorphism. Logical Methods in Computer Science, Volume 18, Issue 3, Centre pour la Communication Scientifique Directe (CCSD), 2022 [Biblios]
Gilda FerreiraVasco T VasconcelosThe computational content of atomic polymorphism. Logic Journal of the IGPL, 27(5):625-638, Oxford University Press (OUP), 2018 [Biblios]
Gilda FerreiraAtomic polymorphism and the existence property. Annals of Pure and Applied Logic, 169(12):1303-1316, Elsevier BV, 2018 [Biblios]
Fernando FerreiraGilda FerreiraA herbrandized functional interpretation of classical first-order logic. Archive for Mathematical Logic, 56(5-6):523-539, Springer Nature, 2017 [Biblios]
António FernandesFernando FerreiraGilda FerreiraAnalysis in weak systems, In Essays in Honour of Amílcar Sernadas, pages 231 - 261. College Publications, London, 2017 [Biblios]
Gilda FerreiraRasiowa–Harrop Disjunction Property. Studia Logica, 105(3):649-664, Springer Nature, 2016 [Biblios]
Gilda FerreiraEta-conversions of IPC implemented in atomic F. Logic Journal of IGPL, Oxford University Press (OUP), 2016 [Biblios]
Bruno DinisGilda FerreiraInstantiation overflow. Reports on Mathematical Logic, 2016 [Biblios]
Fernando FerreiraGilda FerreiraElementary Proof of Strong Normalization for Atomic F. Bulletin of the Section of Logic, 45(1):1-15, Uniwersytet Lodzki (University of Lodz), 2016 [Biblios]