Federico De Marchi, Benno van den Berg. Models of non-well-founded sets via an indexed final coalgebra theorem. Journal of Symbolic Logic, 72(3):767-791, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.