TY - RPRT TI - Combinatorial Dyson-Schwinger equations and inductive data types AU - Joachim Kock PY - 2015 UR - https://arxiv.org/abs/1512.07884 ID - 1512.07884 ER -