TY - RPRT TI - The $p$-adic integers as final coalgebra AU - Prasit Bhattacharya PY - 2015 UR - https://arxiv.org/abs/1504.01408 ID - 1504.01408 ER -