Philip S. Santas. A Type System for Computer Algebra (abstract). In ISSAC. pages 77, 1993. [doi]
@inproceedings{Santas93:0, title = {A Type System for Computer Algebra (abstract)}, author = {Philip S. Santas}, year = {1993}, doi = {10.1145/164081.164096}, url = {http://doi.acm.org/10.1145/164081.164096}, tags = {type system, algebra}, researchr = {https://researchr.org/publication/Santas93%3A0}, cites = {0}, citedby = {0}, pages = {77}, booktitle = {ISSAC}, }