TY  - RPRT
TI  - Bases as Coalgebras
AU  - Bart Jacobs
PY  - 2013
DO  - 10.2168/lmcs-9(3:23)2013
UR  - https://arxiv.org/abs/1309.0844
ID  - 1309.0844
ER  -