Gilda Ferreira

Available identifiers

zbMath Open ferreira.gildaMaRDI QIDQ424544

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gilda Ferreira