Philip S. Santas

A Type System for Computer Algebra

Philip S. Santas, 1993, DISCO.

SYMO2: Objects and Classes for Symbolic Computation Systems

Philip S. Santas, P. Santas, 1992, DISCO.

A type system for computer algebra (abstract)

Philip S. Santas, 1993, ISSAC '93.

A Type System for Computer Algebra

Philip S. Santas, 1995, J. Symb. Comput..

Conditional Categories and Domains

Philip S. Santas, P. Santas, 1996, DISCO.