Pages that link to "Item:Q1207943"
From MaRDI portal
The following pages link to Characterizing complexity classes by general recursive definitions in higher types (Q1207943):
Displaying 7 items.
- Characterizing complexity classes by higher type primitive recursive definitions (Q1193623) (← links)
- Higher type recursion, ramification and polynomial time (Q1577477) (← links)
- Computational Complexity Via Finite Types (Q2946764) (← links)
- The Power of Non-determinism in Higher-Order Implicit Complexity (Q2988663) (← links)
- (Q3203014) (← links)
- Characterizing complexity classes by higher type primitive recursive definitions. II (Q3979266) (← links)
- Implicit computation complexity in higher-order programming languages (Q5875893) (← links)