A Type System for Computer Algebra (1993)

by Philip S Santas
Venue:In International Symposium on Symbolic and Algebraic Computation