Pages that link to "Item:Q1805407"
From MaRDI portal
The following pages link to A theory of rules for enumerated classes of functions (Q1805407):
Displaying 4 items.
- The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
- Effective applicative structures (Q5057467) (← links)
- Computer Science Logic (Q5292623) (← links)
- On the proof theory of type two functionals based on primitive recursive operations (Q5485397) (← links)