6 search results - page 2 / 2 » An Operational Domain-theoretic Treatment of Recursive Types |
IJCAI
1993
13 years 5 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...