Higher-Order and Symbolic Computation, Volume 11

Volume 11, Number 1, August 1998

Volume 11, Number 2, December 1998

Volume 11, Number 3, December 1998

Volume 11, Number 4, December 1998