Linkedin

Member

Gilda Ferreira

Profile Picture of Gilda Ferreira
  • Email
    gmferreira (at) ciencias.ulisboa.pt
to
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]