Searching for "A New Approach to Abstract Data Types II Computation on ADTs as Ordinary Computation." – sorted by Relevance.
-
, 295--320, 1995. [103] Computation on data types. The extensional approach, with an application
- Science, vol. 2, pp. 193--229, 1992. [85] A new approach to abstract data types, II. Computability on ADTs
- Add To MetaCart

