The following pages link to (Q5654032):
Displaying 7 items.
- Computation by `While' programs on topological partial algebras (Q1292414) (← links)
- Towards a computation system based on set theory (Q1825191) (← links)
- (Q3858241) (← links)
- Generalizing Computability Theory to Abstract Algebras (Q4637219) (← links)
- Effective applicative structures (Q5057467) (← links)
- Feferman on Computability (Q5214780) (← links)
- Iterated Inductive Definitions Revisited (Q5214787) (← links)
