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:6 - 3 self