Higher-Order and Symbolic Computation, Volume 13

Volume 13, Number 1/2, April 2000

Volume 13, Number 3, September 2000

Volume 13, Number 4, December 2000