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

Cached

Download Links

by Benno Van Den Berg , Federico De
Venue:J. Symbolic Logic
Citations:4 - 3 self