The following pages link to (Q3855168):
Displayed 4 items.
- A view of computability on term algebras (Q1051428) (← links)
- Computational foundations of basic recursive function theory (Q1314348) (← links)
- Computation on abstract data types. The extensional approach, with an application to streams (Q1923575) (← links)
- Feferman on Computability (Q5214780) (← links)