TY  - RPRT
TI  - Models of Non-Well-Founded Sets via an Indexed Final Coalgebra Theorem
AU  - Benno van den Berg
AU  - Federico De Marchi
PY  - 2006
UR  - https://arxiv.org/abs/math/0508531
ID  - math/0508531
ER  -