| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Gilda Ferreira, Paulo Oliva: Functional Interpretations of Intuitionistic Linear Logic. CSL 2009: 3-19 |
| 2008 | ||
| 3 | EE | 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 | EE | Fernando Ferreira, Gilda Ferreira: Counting as integration in feasible analysis. Math. Log. Q. 52(3): 315-320 (2006) |
| 1 | Fernando Ferreira | [1] [2] [3] |
| 2 | Paulo Oliva | [4] |