Gilda Maria Saraiva Dias Ferreira
AuthID: R-000-KQ3
1
TÃTULO: Herbrandized modified realizability
AUTORES: Ferreira, Gilda; Firmino, Paulo;
PUBLICAÇÃO: 2024, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 63, NÚMERO: 5-6
AUTORES: Ferreira, Gilda; Firmino, Paulo;
PUBLICAÇÃO: 2024, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 63, NÚMERO: 5-6
2
TÃTULO: Lisbon young mathematicians conference 2023: book of abstracts
AUTORES: Pedro Serranho; Fernanda Cipriano; Gilda Ferreira; Carlota Gonçalves; Grossinho, M. Rosário; Oliveira, M. Rosário; Maria d R Ramos;
PUBLICAÇÃO: 2023
AUTORES: Pedro Serranho; Fernanda Cipriano; Gilda Ferreira; Carlota Gonçalves; Grossinho, M. Rosário; Oliveira, M. Rosário; Maria d R Ramos;
PUBLICAÇÃO: 2023
INDEXADO EM: 
Handle
Handle3
TÃTULO: The Russell-Prawitz embedding and the atomization of universal instantiation
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2021, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, NÚMERO: 5
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2021, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 29, NÚMERO: 5
4
TÃTULO: TYPABILITY AND TYPE INFERENCE IN ATOMIC POLYMORPHISM
AUTORES: Protin, M. Clarence; Ferreira, Gilda;
PUBLICAÇÃO: 2021, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 18, NÚMERO: 3
AUTORES: Protin, M. Clarence; Ferreira, Gilda;
PUBLICAÇÃO: 2021, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 18, NÚMERO: 3
5
TÃTULO: A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2020, FONTE: STUDIA LOGICA, VOLUME: 108, NÚMERO: 3
AUTORES: Santo, JE; Ferreira, G;
PUBLICAÇÃO: 2020, FONTE: STUDIA LOGICA, VOLUME: 108, NÚMERO: 3
6
TÃTULO: The computational content of atomic polymorphism
AUTORES: Ferreira, G; Vasconcelos, VT ;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 5
AUTORES: Ferreira, G; Vasconcelos, VT ;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 5
7
TÃTULO: Atomic polymorphism and the existence property
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2018, FONTE: European Summer Meeting of the Association-for-Symbolic-Logic / Logic Colloquium in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, NÚMERO: 12
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2018, FONTE: European Summer Meeting of the Association-for-Symbolic-Logic / Logic Colloquium in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, NÚMERO: 12
8
TÃTULO: eta-conversions of IPC implemented in atomic F
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 25, NÚMERO: 2
AUTORES: Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 25, NÚMERO: 2
9
TÃTULO: A herbrandized functional interpretation of classical first-order logic Full Text
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: Archive for Mathematical Logic, VOLUME: 56, NÚMERO: 5-6
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2017, FONTE: Archive for Mathematical Logic, VOLUME: 56, NÚMERO: 5-6
10
TÃTULO: Rasiowa–Harrop Disjunction Property
AUTORES: Gilda Ferreira;
PUBLICAÇÃO: 2017, FONTE: Studia Logica, VOLUME: 105, NÚMERO: 3
AUTORES: Gilda Ferreira;
PUBLICAÇÃO: 2017, FONTE: Studia Logica, VOLUME: 105, NÚMERO: 3
