Pages that link to "Item:Q5251356"

The following pages link to BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS (Q5251356):

Displaying 4 items.

• Bar recursion over finite partial functions (Q515562) (← links)
• Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)
• THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
• Higher-order games with dependent types (Q6049932) (← links)