Pages that link to "Item:Q1115867"

The following pages link to Equivalence of bar recursors in the theory of functionals of finite type (Q1115867):

Displaying 1 item.

• The equivalence of bar recursion and open recursion (Q400424) (← links)