Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation > 2012 > 25 > 1 > 39-84
Higher-Order and Symbolic Computation > 2012 > 25 > 1 > 165-207
Higher-Order and Symbolic Computation > 2012 > 25 > 1 > 127-163
Higher-Order and Symbolic Computation > 2012 > 25 > 1 > 85-125
Higher-Order and Symbolic Computation > 2012 > 25 > 1 > 3-38