Fernando Ferreira

Fernando Ferreira, Gilda Ferreira: Atomic polymorphism. J. Symb. Log. 78(1): 260-274 (2013)

Fernando Ferreira, Martin Hyland, Benedikt Löwe, Elvira Mayordomo: Computability in Europe 2010. Ann. Pure Appl. Logic 163(6): 621-622 (2012)

Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo: Programs, Proofs, Processes. Theory Comput. Syst. 51(3): 267-269 (2012)

Fernando Ferreira: A Short Note on Spector's Proof of Consistency of Analysis. CiE 2012: 222-227

Fernando Ferreira, Ricardo Jardim-Gonçalves: Framework for Knowledge Management Based in the Two-Stream Hypothesis. DoCEIS 2012: 69-76

Sara Pinto, Fernando Ferreira: Technological Dissemination in the Portuguese Payments System: An Empirical Analysis to the Region of Santarém. IJHCITP 1(4): 55-75 (2010)

Patrícia Engrácia, Fernando Ferreira: The bounded functional interpretation of the double negation shift. J. Symb. Log. 75(2): 759-773 (2010)

Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (Eds.): Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings. Lecture Notes in Computer Science 6158, Springer 2010, isbn 978-3-642-13961-1

Fernando Ferreira: Injecting uniformities into Peano arithmetic. Ann. Pure Appl. Logic 157(2-3): 122-129 (2009)

Fernando Ferreira, Gilda Ferreira: Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. Studia Logica 92(1): 63-84 (2009)

Fernando Ferreira, Gilda Ferreira: Harrington's conservation theorem redone. Arch. Math. Log. 47(2): 91-100 (2008)

Fernando Ferreira, Gilda Ferreira: The Riemann Integral in Weak Systems of Analysis. J. UCS 14(6): 908-937 (2008)

Fernando Ferreira, Paulo Oliva: Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Logic 145(2): 115-129 (2007)

Fernando Ferreira: Comments on Predicative Logic. J. Philosophical Logic 35(1): 1-8 (2006)

Fernando Ferreira, Ana Nunes: Bounded modified realizability. J. Symb. Log. 71(1): 329-346 (2006)

Fernando Ferreira, Gilda Ferreira: Counting as integration in feasible analysis. Math. Log. Q. 52(3): 315-320 (2006)

Fernando Ferreira, Paulo Oliva: Bounded functional interpretation. Ann. Pure Appl. Logic 135(1-3): 73-112 (2005)

Fernando Ferreira: A Simple Proof of Parsons' Theorem. Notre Dame Journal of Formal Logic 46(1): 83-91 (2005)

Fernando Ferreira, Kai F. Wehmeier: On the Consistency of the Δ¹₁-CA Fragment of Frege's Grundgesetze. J. Philosophical Logic 31(4): 301-311 (2002)

António M. Fernandes, Fernando Ferreira: Groundwork for Weak Analysis. J. Symb. Log. 67(2): 557-578 (2002)

Fernando Ferreira: Two General Results on lntuitionistic Bounded Theories. Math. Log. Q. 45: 399-407 (1999)

Fernando Ferreira, António Marques: Extracting Algorithms from Intuitionistic Proofs. Math. Log. Q. 44: 143-160 (1998)

Fernando Ferreira: On End-Extensions of Models of ¬exp. Math. Log. Q. 42: 1-18 (1996)

Fernando Ferreira: What are the forall Sigma^b₁-Consequences of T¹₂ and T²₂? Ann. Pure Appl. Logic 75(1-2): 79-88 (1995)

Fernando Ferreira: A Feasible Theory for Analysis. J. Symb. Log. 59(3): 1001-1011 (1994)