Pages that link to "Item:Q4017460"

The following pages link to A new approach to abstract data types, I Informal development (Q4017460):

Displaying 3 items.

• Computation on abstract data types. The extensional approach, with an application to streams (Q1923575) (← links)
• Theses for Computation and Recursion on Concrete and Abstract Structures (Q4637218) (← links)
• Feferman on Computability (Q5214780) (← links)