Models of non-well-founded sets via an indexed final coalgebra theorem

by Benno Van Den Berg, Federico De
Venue:J. Symbolic Logic