Sciweavers

NAR
2010
111views more  NAR 2010»
12 years 10 months ago
Babelomics: an integrative platform for the analysis of transcriptomics, proteomics and genomic data with advanced functional pr
Babelomics is a response to the growing necessity of integrating and analyzing different types of genomic data in an environment that allows an easy functional interpretation of t...
Ignacio Medina, José Carbonell, Luis Pulido...
JSYML
2010
70views more  JSYML 2010»
12 years 10 months ago
The bounded functional interpretation of the double negation shift
We prove that the (non-intuitionistic) law of the double negation shift has a bounded functional interpretation with bar recursive functionals of finite type. As an application, we...
Patrícia Engrácia, Fernando Ferreira
MLQ
2010
99views more  MLQ 2010»
13 years 2 months ago
Proof interpretations with truth
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...
Jaime Gaspar, Paulo Oliva
IANDC
2010
91views more  IANDC 2010»
13 years 2 months ago
Functional interpretations of linear and intuitionistic logic
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
Paulo Oliva
APAL
2007
63views more  APAL 2007»
13 years 3 months ago
Bounded functional interpretation and feasible analysis
In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation...
Fernando Ferreira, Paulo Oliva