A type system for computer algebra (1995)

by Philip S Santas
Venue:Journal of Symbolic Computation