Higher-Order and Symbolic Computation

Higher-Order and Symbolic Computation @ SpringerLink

Higher-Order and Symbolic Computation Home Page

Lisp and Symbolic Computation

maintained by Schloss Dagstuhl LZI, founded at University of Trier