Pages that link to "Item:Q1805407"

The following pages link to A theory of rules for enumerated classes of functions (Q1805407):

Displaying 3 items.

• The non-constructive \(\mu\) operator, fixed point theories with ordinals, and the bar rule (Q1577487) (← links)
• Effective applicative structures (Q5057467) (← links)
• On the proof theory of type two functionals based on primitive recursive operations (Q5485397) (← links)