Interpretations of Recursively Defined Types

Michael I. Schwartzbach. Interpretations of Recursively Defined Types. Theoretical Computer Science, 106(1):119-134, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.