Gilda Ferreira

	2012
9		Gilda Ferreira, Paulo Oliva: On bounded functional interpretations. Ann. Pure Appl. Logic 163(8): 1030-1049 (2012)
	2011
8		Gilda Ferreira, Paulo Oliva: Functional Interpretations of Intuitionistic Linear Logic Logical Methods in Computer Science 7(1): (2011)
	2010
7		Gilda Ferreira, Paulo Oliva: On Various Negative Translations CL&C 2010: 21-33
6		Gilda Ferreira, Paulo Oliva: Confined modified realizability. Math. Log. Q. 56(1): 13-28 (2010)
	2009
5		Gilda Ferreira, Paulo Oliva: Functional Interpretations of Intuitionistic Linear Logic. CSL 2009: 3-19
4		Fernando Ferreira, Gilda Ferreira: Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. Studia Logica 92(1): 63-84 (2009)
	2008
3		Fernando Ferreira, Gilda Ferreira: Harrington's conservation theorem redone. Arch. Math. Log. 47(2): 91-100 (2008)
2		Fernando Ferreira, Gilda Ferreira: The Riemann Integral in Weak Systems of Analysis. J. UCS 14(6): 908-937 (2008)
	2006
1		Fernando Ferreira, Gilda Ferreira: Counting as integration in feasible analysis. Math. Log. Q. 52(3): 315-320 (2006)

Coauthor Index

1	Fernando Ferreira	[1] [2] [3] [4]
2	Paulo Oliva	[5] [6] [7] [8] [9]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page