Skip to content

A Type System for Computer Algebra (abstract).

Philip S. Santas

VenueBISSAC
Year1993
ProceedingsISSAC

Browse the full ISSAC paper archive.