The following pages link to (Q4411835):
Displaying 4 items.
- A proof-theoretic characterization of the basic feasible functionals (Q706620) (← links)
- Type-two polynomial-time and restricted lookahead (Q1989320) (← links)
- Feasible functionals and intersection of ramified types (Q2842842) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)