We stand with Ukraine  

Gilda Ferreira

Orcid: 0000-0003-1447-9764

Affiliations:
  • Universidade Aberta (UAb), Lisbon, Portugal
  • University of Lisbon, Department of Mathematics, Portugal


According to our database1, Gilda Ferreira authored at least 22 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Herbrandized modified realizability.
[BibTeX]
[DOI]
Gilda Ferreira
,
Paulo Renato A. Firmino
Arch. Math. Log., July, 2024

How to avoid the commuting conversions of IPC.
[BibTeX]
[DOI]
José Espírito Santo
,
Gilda Ferreira
CoRR, 2024

2022
Typability and Type Inference in Atomic Polymorphism.
[BibTeX]
[DOI]
M. Clarence Protin
,
Gilda Ferreira
Log. Methods Comput. Sci., 2022

2021
The Russell-Prawitz embedding and the atomization of universal instantiation.
[BibTeX]
[DOI]
José Espírito Santo
,
Gilda Ferreira
Log. J. IGPL, 2021

2020
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism.
[BibTeX]
[DOI]
José Espírito Santo
,
Gilda Ferreira
Stud Logica, 2020

2019
The computational content of atomic polymorphism.
[BibTeX]
[DOI]
Gilda Ferreira
,
Vasco T. Vasconcelos
Log. J. IGPL, 2019

2018
Atomic polymorphism and the existence property.
[BibTeX]
[DOI]
Gilda Ferreira
Ann. Pure Appl. Log., 2018

2017
Rasiowa-Harrop Disjunction Property.
[BibTeX]
[DOI]
Gilda Ferreira
Stud Logica, 2017

η-conversions of IPC implemented in atomic F.
[BibTeX]
[DOI]
Gilda Ferreira
Log. J. IGPL, 2017

A herbrandized functional interpretation of classical first-order logic.
[BibTeX]
[DOI]
Fernando Ferreira
,
Gilda Ferreira
Arch. Math. Log., 2017

2016
Instantiation overflow.
[BibTeX]
[DOI]
Bruno Dinis
,
Gilda Ferreira
Reports Math. Log., 2016

2015
The Faithfulness of Fat: A Proof-Theoretic Proof.
[BibTeX]
[DOI]
Fernando Ferreira
,
Gilda Ferreira
Stud Logica, 2015

2013
Atomic polymorphism.
[BibTeX]
[DOI]
Fernando Ferreira
,
Gilda Ferreira
J. Symb. Log., 2013

Interpretability in Robinson's Q.
[BibTeX]
[DOI]
Fernando Ferreira
,
Gilda Ferreira
Bull. Symb. Log., 2013

2012
On bounded functional interpretations.
[BibTeX]
[DOI]
Gilda Ferreira
,
Paulo Oliva
Ann. Pure Appl. Log., 2012

2011
Functional Interpretations of Intuitionistic Linear Logic
[BibTeX]
[DOI]
Gilda Ferreira
,
Paulo Oliva
Log. Methods Comput. Sci., 2011

2010
Confined modified realizability.
[BibTeX]
[DOI]
Gilda Ferreira
,
Paulo Oliva
Math. Log. Q., 2010

On Various Negative Translations
[BibTeX]
[DOI]
Gilda Ferreira
,
Paulo Oliva
Proceedings of the Proceedings Third International Workshop on Classical Logic and Computation, 2010

2009
Commuting Conversions vs. the Standard Conversions of the "Good" Connectives.
[BibTeX]
[DOI]
Fernando Ferreira
,
Gilda Ferreira
Stud Logica, 2009

2008
The Riemann Integral in Weak Systems of Analysis.
[BibTeX]
[DOI]
Fernando Ferreira
,
Gilda Ferreira
J. Univers. Comput. Sci., 2008

Harrington's conservation theorem redone.
[BibTeX]
[DOI]
Fernando Ferreira
,
Gilda Ferreira
Arch. Math. Log., 2008

2006
Counting as integration in feasible analysis.
[BibTeX]
[DOI]
Fernando Ferreira
,
Gilda Ferreira
Math. Log. Q., 2006


  Loading...