BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for gmferreira
(16)
2024
Herbrandized modified realizability
(2024)
Gilda Ferreira
Paulo Firmino
Journal articles
2022
Typability and Type Inference in Atomic Polymorphism
(2022)
M. Clarence Protin
Gilda Ferreira
Journal articles
2020
The Russell-Prawitz embedding and the atomization of universal instantiation
(2020)
José Espírito Santo
Gilda Ferreira
Journal articles
2019
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
(2019)
José Espírito Santo
Gilda Ferreira
Journal articles
2018
The computational content of atomic polymorphism
(2018)
Gilda Ferreira
Vasco T Vasconcelos
Journal articles
2018
Atomic polymorphism and the existence property
(2018)
Gilda Ferreira
Journal articles
2017
A herbrandized functional interpretation of classical first-order logic
(2017)
Fernando Ferreira
Gilda Ferreira
Journal articles
2017
Analysis in weak systems
(2017)
António Fernandes
Fernando Ferreira
Gilda Ferreira
Book chapters
2016
Rasiowa–Harrop Disjunction Property
(2016)
Gilda Ferreira
Journal articles
2016
Eta-conversions of IPC implemented in atomic F
(2016)
Gilda Ferreira
Journal articles
2016
Elementary Proof of Strong Normalization for Atomic F
(2016)
Fernando Ferreira
Gilda Ferreira
Journal articles
2016
Instantiation overflow
(2016)
Bruno Dinis
Gilda Ferreira
Journal articles
2015
The faithfulness of Fat: a proof-theoretic proof
(2015)
Fernando Ferreira
Gilda Ferreira
Journal articles
2014
Unificação das interpretações funcionais : via lógica linear intuicionista
(2014)
Reis, Sílvia da Conceição Alexandre
Ferreira, Fernando
Ferreira, Gilda Maria Saraiva Dias
Academic documents
2006
Sistema de análise fraca para a integração
(2006)
Ferreira, Gilda Maria Saraiva Dias
Ferreira, Fernando
Academic documents
2002
Aritmética computavél em espaço polinomial
(2002)
Ferreira, Gilda Maria Saraiva Dias
Ferreira, Fernando
Academic documents