The following pages link to (Q3816051):
Displaying 8 items.
- Finitely stratified polymorphism (Q1175334) (← links)
- About primitive recursive algorithms (Q1176246) (← links)
- System \(T\), call-by-value and the minimum problem (Q1274979) (← links)
- The Inf function in the system \(F\) (Q1346636) (← links)
- Decidability results for primitive recursive algorithms (Q1399975) (← links)
- System ST toward a type system for extraction and proofs of programs (Q1400600) (← links)
- (Q4513599) (← links)
- On the asymptotic behaviour of primitive recursive algorithms (Q5958756) (← links)