TY  - RPRT
TI  - Logical Construction of Final Coalgebras
AU  - Luigi Santocanale
PY  - 2004
UR  - https://arxiv.org/abs/math/0403227
ID  - math/0403227
ER  -