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

by B van den Berg, F De Marchi
Venue:J. Symbolic Logic