Higher-Order and Symbolic Computation, Volume 18

Volume 18, Number 1-2, June 2005

Volume 18, Number 3-4, December 2005