The following pages link to Paulo Oliva (Q408161):
Displaying 47 items.
- The Peirce translation (Q408162) (← links)
- On bounded functional interpretations (Q424545) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Unifying functional interpretations (Q867407) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- Proof mining in \(L_{1}\)-approximation (Q1874241) (← links)
- Higher-order decision theory (Q1990306) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- On rational choice and the representation of decision problems (Q2669132) (← links)
- Hybrid functional interpretations of linear and intuitionistic logic (Q2882562) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- System T and the product of selection functions (Q2915685) (← links)
- A general framework for sound and complete Floyd-Hoare logics (Q2946594) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- Sequential games and optimal strategies (Q3104817) (← links)
- Confined modified realizability (Q3406445) (← links)
- Hybrid Functional Interpretations (Q3507440) (← links)
- (Q3532205) (← links)
- Selection functions, bar recursion and backward induction (Q3559969) (← links)
- Computational Interpretations of Analysis via Products of Selection Functions (Q3576200) (← links)
- The Peirce Translation and the Double Negation Shift (Q3576201) (← links)
- Computational Interpretations of Classical Linear Logic (Q3612668) (← links)
- Hoare Logic in the Abstract (Q3613360) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)
- (Q4681899) (← links)
- On the Computational Complexity of Best L1-approximation (Q4787858) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- (Q4964696) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q4981448) (← links)
- On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem (Q5028382) (← links)
- On the Herbrand functional interpretation (Q5112393) (← links)
- An analysis of the Podelski–Rybalchenko termination theorem via bar recursion (Q5225855) (← links)
- BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356) (← links)
- Unifying Functional Interpretations: Past and Future (Q5271413) (← links)
- Modified bar recursion (Q5481588) (← links)
- (Q5702662) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5892514) (← links)
- Logical Approaches to Computational Barriers (Q5898840) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)
- Higher-order games with dependent types (Q6049932) (← links)
- On the Herbrand Functional Interpretation (Q6330328) (← links)
- On the Borel-Cantelli Lemmas, the Erd\H{o}s-R\'enyi Theorem, and the Kochen-Stone Theorem (Q6356391) (← links)
- On the Various Translations between Classical, Intuitionistic and Linear Logic (Q6742932) (← links)
