The following pages link to (Q3358727):
Displaying 6 items.
- Computation on abstract data types. The extensional approach, with an application to streams (Q1923575) (← links)
- (Q4227564) (← links)
- Effective Structures (Q4336702) (← links)
- Structural-Abstraction Principles (Q4626020) (← links)
- Effective applicative structures (Q5057467) (← links)
- Structural Counter Abstraction (Q5326315) (← links)