Higher-Order and Symbolic Computation | Revista