TY - RPRT TI - Laver tables and combinatorics AU - Philippe Biane PY - 2018 UR - https://arxiv.org/abs/1810.00548 ID - 1810.00548 ER -