Higher-Order and Symbolic Computation, Volume 14

Volume 14, Number 1, March 2001

Volume 14, Number 2-3, September 2001

Volume 14, Number 4, December 2001