Axiomatising Uniform Properties of Recursive Data Structures

Thomas P. Jensen. Axiomatising Uniform Properties of Recursive Data Structures. In WSA. pages 144-151, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.