Higher-Order and Symbolic Computation
Higher-Order and Symbolic Computation > 2012 > 25 > 2-4 > 209-253
Higher-Order and Symbolic Computation > 2012 > 25 > 2-4 > 255-274
Higher-Order and Symbolic Computation > 2012 > 25 > 2-4 > 275-310
Higher-Order and Symbolic Computation > 2012 > 25 > 2-4 > 209-253
Higher-Order and Symbolic Computation > 2012 > 25 > 2-4 > 255-274
Higher-Order and Symbolic Computation > 2012 > 25 > 2-4 > 275-310