| 1996 | ||
|---|---|---|
| 5 | Philip S. Santas: Conditional Categories and Domains. DISCO 1996: 112-125 | |
| 1995 | ||
| 4 | Philip S. Santas: A Type System for Computer Algebra. J. Symb. Comput. 19(1-3): 79-109 (1995) | |
| 1993 | ||
| 3 | Philip S. Santas: A Type System for Computer Algebra. DISCO 1993: 177-191 | |
| 2 | Philip S. Santas: A Type System for Computer Algebra (abstract). ISSAC 1993: 77 | |
| 1992 | ||
| 1 | Philip S. Santas: SYMO2: Objects and Classes for Symbolic Computation Systems. DISCO 1992: 65-84 | |