Domains and expressions: an interface between two approaches to computer algebra.

Cosmin E. Oancea, Stephen M. Watt

Browse the full ISSAC paper archive.