Pages that link to "Item:Q5195245"
From MaRDI portal
The following pages link to A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration (Q5195245):
Displaying 8 items.
- Rudimentary relations and primitive recursion: A toolbox (Q1127532) (← links)
- A recursive second order initial algebra specification of primitive recursion (Q1338890) (← links)
- Elementary descent recursion and proof theory (Q1344279) (← links)
- Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion (Q1827398) (← links)
- Recursive proof composition from accumulation schemes (Q2119035) (← links)
- A representation theorem for primitive recursive algorithms (Q2895767) (← links)
- Ein Kriterium für die Primitive Rekursivität der Funktional‐Iteration (Q3489986) (← links)
- (Q4362971) (← links)