Pages that link to "Item:Q866559"

The following pages link to Bounded functional interpretation and feasible analysis (Q866559):

Displaying 4 items.

• On bounded functional interpretations (Q424545) (← links)
• Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
• Confined modified realizability (Q3406445) (← links)