Combinatorial Dyson-Schwinger equations and inductive data types | Publicación