Login / Signup

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

Federico De MarchiBenno van den Berg
Published in: J. Symb. Log. (2007)
Keyphrases