The following pages link to (Q3142168):
Displaying 5 items.
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- (Q3024905) (← links)
- Stratified polymorphism and primitive recursion (Q4704766) (← links)
- Primitive recursion for higher-order abstract syntax (Q5958752) (← links)
- Primitive recursive functional with dependent types (Q6116568) (← links)