TY - RPRT TI - Transport of finiteness structures and applications AU - Christine Tasson AU - Lionel Vaux PY - 2016 DO - 10.1017/s0960129516000384 UR - https://arxiv.org/abs/1004.3655 ID - 1004.3655 ER -