Searching for "Algebraic Specification of Data Types A Synthetic Approach." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Proc. Summer Workshop on Category and Computer
by Programming Surrey Lncs, Smyth M — 293
… types: a synthetic approach", Mathematical Systems Theory, 14, (97-139). Bibliography 287 Herrlich H…
Add To MetaCart

Bibliography for Practical Foundations of Mathematics
by Paul Taylor — 1999
… specifications of data types: a synthetic approach. Mathematical Systems Theory, 14:97--139, 1981. [Lei90] Daniel…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB