Gilda Ferreira

Available identifiers

zbMath Open ferreira.gildaMaRDI QIDQ424544

List of research outcomes

Publication	Date of Publication	Type
Herbrandized modified realizability	2024-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q5101355	2022-08-30	Paper
The Russell-Prawitz embedding and the atomization of universal instantiation	2021-12-03	Paper
Typability and Type Inference in Atomic Polymorphism	2021-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4964696	2021-03-03	Paper
A refined interpretation of intuitionistic logic by means of atomic polymorphism	2020-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q5222079	2020-03-30	Paper
The computational content of atomic polymorphism	2019-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q5224790	2019-07-24	Paper
η-conversions of IPC implemented in atomic F	2019-01-08	Paper
Atomic polymorphism and the existence property	2018-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4609094	2018-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4609120	2018-03-29	Paper
A herbrandized functional interpretation of classical first-order logic	2017-09-15	Paper
Rasiowa-Harrop disjunction property	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q2971275	2017-04-04	Paper
Elementary Proof of Strong Normalization for Atomic F	2017-01-27	Paper
The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof	2015-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4981448	2014-06-24	Paper
Bounded theories for polyspace computability	2014-05-16	Paper
Interpretability in Robinson's Q	2014-01-17	Paper
Atomic polymorphism	2013-04-23	Paper
On bounded functional interpretations	2012-06-01	Paper
Functional Interpretations of Intuitionistic Linear Logic	2011-05-26	Paper
Confined modified realizability	2010-02-16	Paper
Commuting conversions vs. the standard conversions of the ``good connectives	2009-11-16	Paper
Functional Interpretations of Intuitionistic Linear Logic	2009-11-12	Paper
The counting hierarchy in binary notation	2009-03-30	Paper
Harrington's conservation theorem redone	2008-10-16	Paper
https://portal.mardi4nfdi.de/entity/Q3518438	2008-08-08	Paper
An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA	2007-09-05	Paper
Counting as integration in feasible analysis	2006-08-30	Paper
How to avoid the commuting conversions of IPC	N/A	Paper
Herbrandized modified realizability	N/A	Paper

Research outcomes over time

This page was built for person: Gilda Ferreira