A Rewrite-Based Type Discipline for a Subset of Computer Algebra

Hubert Comon, Denis Lugiez, Ph. Schnoebelen. A Rewrite-Based Type Discipline for a Subset of Computer Algebra. Journal of Symbolic Computation, 11(4):349-368, 1991.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.